Add a demo page ; small fixes to munderover and mathvariant.