Oops, here's the aforementioned link:
[1]: https://bugs.launchpad.net/ubuntu/+source/debian-installer/+bug/1816876
Oops, here's the aforementioned link:
[1]: https:/ /bugs.launchpad .net/ubuntu/ +source/ debian- installer/ +bug/1816876