mathlib

32a9850f - doc(widget): add to docstring for #html command