Correcting the function which allow to edit comments in nit files
Merge branch 'wikidoc' of https://github.com/StefanLage/wikidoc-patch into wikidoc