Commenting for HTML documentation