Index: head/en_US.ISO8859-1/htdocs/platforms/index.xml =================================================================== --- head/en_US.ISO8859-1/htdocs/platforms/index.xml +++ head/en_US.ISO8859-1/htdocs/platforms/index.xml @@ -125,21 +125,21 @@