Simple PHP script to transfer RES settings between browsers on a single system.