RIP latexbot

2020-2023

obsoleted but never forgotten

-- your friendly neighbourhood guy with old laptops sysadmin.