An improvement to comment style checker to ignore comments of ///+ style.