Jeremy Newman : remove old highlight code