In order to fine-tune the recent upgrades to the practices and materials navigation, the folksy servers will be restarted at 08:00 (8am) on Friday the 13th of August. The changes are minor, and any possible interruption to normal service should be very brief.