It seems so that the large majority of us runs Linux, while others run (free)bsd or OSX. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://minnie.tuhs.org/pipermail/tuhs/attachments/20170921/46d1ffc4/attachment.html>