daveredrum/Text2Tex not found