Note that this provides a 32-bit version of Debian Trixie for those who are interested.