https://git.riptothebullshit.ovh/lean2026-05-15T09:36:46Z