mathlib3

02857d56 - fix(docs/tactics): fix layout, remove noise