Some tags for the new post on the Petersen graph.