On Monday 29 August 2016 20:45:21 Andrew M.A. Cater wrote: > /etc/debian_version coincidentally adds the minor > release Whatever the reason, it is very helpful to some of us that it does so, so long may it continue to do so!! :-) Thank you for the helpful explanation, Andrew. Lisi