Actually, I had commited a while back to add some security warning sections (about some builtin UDP protocols see a few messages back on this list) and had stumbled on that as well. It also completely messes up the navigation in "info". I had started to try and fix it and noticed a few other problems along the way and didn't get very far and got distracted.
I'm happy to review and offer help if you need it. Any help is always welcome. I am interested in this chapter that you wanted to write. Do you have a draft?
