Notification Server used by clients?

@Jonathan
In the documentation it says to check
https://{server}/notification/ping
Should it not be
https://{server}/notification-server/ping?

If not, then the fix suggested here does not make sense or the answer given here is wrong.