HomeIsabelle/Phabricator

more robust indentation: proper line context after insert;