[fomine3]

Then I argue it should be simple HTML rather than PDF. It's not simple format and not good for some use like translation.