Lucky 13: a look at Debian trixie