Documentation: A highlighted html file will not contain swig comments (like a docblock) anymore now