On Tue, Mar 10, 2020 at 2:12 AM David Wright <
deblis@lionunicorn.co.uk> wrote:
Sorry to be naive. Could it simply be that the ESP is full?
Upon checking in GParted, the FAT32 partition with the esp flag has a size of 50MB, and it has used only 5.86MB.