Doc cleanup, formula link, (just a pre-VM-destruction commit)