Xojo login from dev site?

General
1

From the developer home page and most other developer pages (http://developer.xojo.com/home) when clicking the “Login” I get taken to a page I don’t recognize as being part of Xojo. It takes me here:

https://www.helpdocsonline.com/login

Is this legit?

2

You don’t need to log in to the documentation. That’s for Xojo staff to edit it.

3

OK, I’m logged into forum and my account so figured I should login there as well.

4

It’s a separate service, it’s not a Xojo, Inc website.