"Gnus 5.6.4" -> "Semi-gnus 6.1.2".