JANUS: An interactive document formatter based on declarative tags · Study