Code push next weekend

[denise]

We will be doing a code push next weekend: 9PM PDT Sunday 13 Jul/midnight EDT/5AM GMT Monday 14 Jul/noon PHT. (See in your time zone.) This one is mostly bugfixes and small tweaks and shouldn't be much risk for things going kerblooey, and I really hope saying that didn't just jinx us.

(Getting one more code push in before I'm out who knows how long for surgical recovery!)