I'm guessing/hoping Debian 13 now meets the requirements and can be added?