Forgot to add the bug in on the mails I just sent. Wookey has been working through how to do some of this. See:
* https://lists.debian.org/debian-boot/2019/01/msg00183.html * https://lists.debian.org/debian-boot/2019/01/msg00184.html and my responses there. -- Steve McIntyre, Cambridge, UK. st...@einval.com "I can't ever sleep on planes ... call it irrational if you like, but I'm afraid I'll miss my stop" -- Vivek Das Mohapatra
