This is not a formal review, but some quick thoughts about the HeaderCount extension:

• It looks like the extension is not in our repositories on Gerrit, but only on GitHub. It would have to be imported first, so that we can do deployments without relying on external services.
• Looking at the code, it looks like the extension does nothing to make sure it is reading the latest page content after a page has just been saved – we'd have to test it, but I think it would basically require purging a page every time after it is edited to get the correct results.
• It also doesn't account for heading generates by embedded templates.

If you want this to be done soon, I would recommend trying to solve this without requiring additional extensions, and instead using a gadget or something.

This is unlikely to get deployed IMHO. I suggest that we find another way to do what is requested and this task be closed. Thanks.

I agree. We can close this task. But, who close this task? Me? I'm not sure that I can close a task...