Eventualmente eu encontrei duas opções - eu só testei uma.
Opção nº 1 - link Não é ruim, mas é um pouco limitante - ele só sabe editar o wincmd.ini supondo que esteja sob c: \ windows. Além disso, funciona bem.
Opção # 2 - link Parece mais profissional no POV do site, mas não o instalei nem tentei usá-lo.