mod: python path header added
mods: several ``typesetting'' changes