I’m pretty sure I responded to this already, but issues and feature requests are not going to be seen here.
The bottom of the page you find that on has a link to suggest edits or to edit the docs, that is the place to bring this up otherwise here: home-assistant · Discussions · GitHub
I’ll post it there. I consider myself pretty good at hunting down the proper channels to post issues/bug reports but I was scratching my head. Thanks for pointing me in the right direction, I wish it was a little bit clearer for people who want to submit something beyond the more generic “I have a problem installing home assistant” that many links eventually take you to.
Thanks again!
Edit: It seems I have already submitted this as an issue for the /supervisor/ repository. So this base is already covered. It should be part of the supervisor and not the core, if I understand the system correctly.