A bot for converting pdf pages to tex images