Make mini instructions opt in - #493

Make mini instructions opt in#493

metapileks wants to merge 17 commits into

pileks/mini-instructions-fixesmetaDAOproject/programs:pileks/mini-instructions-fixesfrom

pileks/met-715-make-mini-instructions-opt-inmetaDAOproject/programs:pileks/met-715-make-mini-instructions-opt-inCopy head branch name to clipboard