DokuWiki plugin to add Add comments/notes to your wiki source