When creating a new extension with the extension builder, there is a place to choose Support device / sprite, which is called haloboard. Isn’t it halocode?
It is Halocode, maybe the website you encountered is not updated yet. Could you please show me the screen shot and url?
The name was uploaded before and previous projects are still rely on it. Changing the name will influence incompatibility. So we will not change the name right now. Thank you for your understanding.