Patch 6

• added a new field for options: fake_nonsync
  • If this field is present and true, an array will be expected as the value.
  • Each player should get their own spot in the array for the real value, with their player index as the array index.
  • It's like a nonsync option, but you stay synced.
• slightly adjusted the position of page names and arrows

This should be the last one for a while.  Once again I did not rigorously test, because it shouldn't have affected anything.  Let me know if something broke.