out/html: modified html output