On Wed, Feb 16, 2022 at 9:10 PM Christian Couder
[off-list ref] wrote:

quoted

quoted

I added the "Unify ref-filter formats with other pretty formats" to
continue Hariom Verma's work during GSoC 2020. I would be happy to
co-mentor it if someone is interested to co-mentor it with me.

Since I worked on this for quite some time. I maybe am able to provide
some insights. If it's not too late, I would like to co-mentor it with
you.

Great! I am happy to co-mentor it with you!

Thanks.