Ralf's Comment 3

See INTERRUP.1ST for the key to system abbreviations and a list of the
trademarks mentioned here.