2025-11-15: Note that direct download is currently broken and packages have not been updated for some time.