Further updates for Micro-LF#341

edwardalee merged 7 commits into

mainlf-lang/lf-lang.github.io:mainfrom

micro-lf2lf-lang/lf-lang.github.io:micro-lf2Copy head branch name to clipboard