Hierarchy Builder 1.10.2

What's Changed

• fix cat by @CohenCyril in #449
• avoid type name collision: class -> hbclass by @gares in #562
• saturate: honor #[export] by @gares in #564
• Fix HB.about after elpi 3.0 port by @gares in #567
• improve indexing by @gares in #568
• Blacklisting HB internals names by @CohenCyril in #566
• Fix HB.howto infinite loop by @cecilemarcon in #572
• [CI] Update by @proux01 in #574

New Contributors

• @cecilemarcon made their first contribution in #572

Full Changelog: v1.10.1...v1.10.2