Gee, thanks for putting that into our minds.

Btw Debian 10 will be "Buster", and those names have been known for some time n...