htmlify libm.txt, add more content