Synch some inconsequential changes of GUIOPT together for pst