On 10/10/2022 11:24, Martijn Visser wrote:
Sidenote: metric names are not mentioned in the FLIP process as a public API. Might make sense to have a separate follow-up to add that to the list (I do think we should list them there).
That's a general issue we have. There's a lot of things we _ usually_ treat as a public API without having written it down; including
* config options (I mean _keys_, not ConfigOption members) * CLI * REST API * metric names * scripts in distribution bin/ directory
