Keep the format (html, texinfo etc) separate from any UI mechanisms we
want to try, otherwise it becomes all to easy to build things that  are
format-specific. HTML is a particularly slippery slope, once you add
Javascript to the mix,
-- 

Thanks,

--Raman
♈ Id: kg:/m/0285kf1  🦮