The page at How-to-get-started has been moved to Get-Started.