@cstross@wandering.shop I installed Debian 13 a couple of months ago in Lisbon and did not experience this. Sounds like a minor installer bug in the recently released 13.2.0, likely to be fixed in the next update.