Make mnemon reachable inside the sandbox via the opt-in EXTRA_* mechanism#4

audreyt wants to merge 3 commits into

bnivanov:mainbnivanov/omp-sandbox:mainfrom

audreyt:feat/mnemon-extra-opt-inaudreyt/omp-sandbox:feat/mnemon-extra-opt-inCopy head branch name to clipboard