a formatter that: inputs a paper (pdf?) outputs a well-formatted HTML page whose style is configurable (e.g. Medium style/github markdown style)