A library for decrufting HTML documents