If a cold-boot a system 20.0, login, type (ed), ^U^X^D (^U^C^D actually) the default is NIL: NIL; and indeed if I don't type an explicit device it gets a no such device error for NIL:. I don't think this bug is peculiar to 20.0