our 'user' machines run, in approximate order of descending number, windows, riscos, linux (debian, red hat, mandrake), macos, hp unix.

This is all lower case. Can you fix that?
Our 'user' machines run, in approximate order of descending number, Windows, RiscOS, Linux (Debian, Red Hat, Mandrake), MacOS, HP Unix.