Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/26337/is-devel-login-separate-from-openstreetmaporg/26338