Merge pull request #387 from tkw1536/master

More Localcomment upates
Merge branch 'master' of https://github.com/KWARC/planetary
Fixes for localcomments to work on panta