Move from github.io
The web master team are rightly complaining we have too many domains. The repository for the Joomla! en-GB User Interface Text Guidelines was one of those as it lived in a github pages setup so that we could easiy allow people to submit pull requests and keep the document up to date and relevant.
Using a component (JMarkdown) we have been able to "live import" the docs from github into the main https://developer.joomla.org/ web site. The documents still live on github so we have all the advantages of pull requests AND the styling of the main web site AND one less domain name.
Thanks to Michael Babker for testing and reviewing the extension and to Ramesh Elamathi for creating the component and responding so quickly to requests for changes.