as part of the transition from the current console to HAL.next, I renamed its GitHub
This is now the official codebase for the management console. I adjusted CI jobs,
documentation, links and other references. If you come across broken links or find
anything else that doesn't work anymore, please let me know.