Do we really need to support latex generation for our documentation?