Merge branch 'master' of https://github.com/KWARC/planetary
Fixes for localcomments to work on panta
Merge pull request #389 from tkw1536/master

Fixes for localcomments to work on panta