Bug: Bad anchors to profile pages


#1

The anchor links to a users profile pages are generated with a double http.
The generated link looks like this:
https://https//www.opendesktop.org/u/theunreachable/

Edit:
Actually that happened, and is apparently related, with anchors in the users menu as well:
https://https//www.opendesktop.org/u/theunreachable/products/


#2

Thank you for the report. We found the error and fixed it.