The file extension <os> used here indicates the operating system that is used, i.e. texuser.<os> becomes texuser.dos for MS-Dos, texuser.w31 for WINDOWS 3.1, texuser.w95 for WINDOWS 95, and texuser.nt for WINDOWS NT