In http4s docs there is an example of adding /metrics endpoint to the routes provided by Http4s:
https://http4s.org/v0.21/middleware/
All of them are predefined by the library, but I was wondering if there is a possibility of adding custom metrics, but I could not find any information about it.
Does anyone know anything about it?