> This is not a bug. Use a support channel to ask questions about
> managing console output:
> https://www.debian.org/support
Thanks, Ben. Do you mean an IRC channel?
Btw., I searched the documentation there. If the answer is there, it is
not easy to find. That site seems (partially) unmaintained.
Other options listed there regarding asking don't work:
- The site ask.debian.net did not list my posted question.
- The site www.debianhelp.org says it's under maintenance.
- forums.debian.net rejects to register me using my e-mail address.
