Google Search has old URLs (developer.xojo.com vs. docs.xojo.com)

Xojo should put in some HTTP 301 redirects for the old to new link URLs