remove special highlighting for gentoo cvs headers

This feels pointless and causes bug #297282 anyway.