A possibly usable HTML output, trying it out now