HB.about should hook into normal About #544
Description
In would require an API on both Rocq and Elpi's sides.
@gares
{{ message }}
HB.about should hook into normal About #544In would require an API on both Rocq and Elpi's sides.
@gares