wrote a small helper program to edit .inifiles from the command line