For your information, I just released Linux installers tagged as version 4.2a which replace the ones of version 4.2 on SourceForge.net. It fixes an annoying regression that didn't restore correctly maximized windows under that system. Windows and Mac OS X installers are unchanged.