[Galene] Re: Additional stats

[Juliusz Chroboczek <jch@irif.fr>]

> The changes to the authentication code are necessary to implement access
> control for the metrics endpoint, but they do not provide any
> functionality by themselves. I'm happy to put them in a separate commit
> to make it clear that they are enabling changes, but I would suggest
> they should only go in together with the metrics endpoint.

Yes, that would be helpful.  Just make sure every commit compiles and
doesn't break any functionality.  I'll push them together, of course.

>>  - It is verbose and redundant, as typical of Claude.

> I am still not sure I follow. Can you point out an example?

After reading it more carefully, it's only the JSON handling at the
beginning that's clumsy, the rest is actually pretty good.  Sorry for
that.

-- Juliusz