I am not so sure about v11 as it is very close to release, surely we can do something for HEAD as that's cosmetic. Anyway, if something is proposed, could a patch be posted? The only patch I am seeing on this thread refers to improvements for error messages of procedures.
Oops, too much multitasking. I will attach the correct patch when I get home.
Here is the correct patch, sorry about that. This includes aforementioned