Question about Agroal and its HikariUnderTheCovers wrapper

Hi
 
We're porting some Hikari based pools to Agroal, and we noticed your https://github.com/agroal/agroal/blob/master/agroal-hikari/src/main/java/io/agroal/hikari/HikariUnderTheCovers.java
 
Indeed I understand this is marked as unsupported, metrics/listeners are throwing, poolinterceptor is a void, etc., and comment says it's used mostly as a reference/baseline bencher.
 
Do you know if there are plans in the RedHat backlog to work on this implementation, to allow complete wrapping of Hikari, or if this code is basically frozen ?
For example, we might port our metrics code (micrometer based) to some AgroalDataSourceMetrics, but if it's already planned by RH, we'll wait for them.
 
Thanks !