Did your post to debian-user make it?

[Richard Owlett]

For recent posts go to https://lists.debian.org/debian-user/recent .
For posts of last few decades see 
https://lists.debian.org/debian-user/ .
Links to useful (even fascinating) info at 
https://lists.debian.org/ .
Enjoy.