An Alfred2 workflow for calling texdoc