HomeIsabelle/Phabricator

clarified: command keyword position is sufficient (amending 693a39f2cddc);