re #653 - Redirect /developer to github pages