Convert highlights to Github standard.