improve source-file indentation for typesetting
Make "+" work with file:// URL (running locally)
explain the different rule types