https://github.com/Seasawher/mathlib4-tactics/blob/main/src/tactics.md
Undefined widget 'supertag-form'