As can be easily seen, we have all switched to summer mode.

I hope everyone is spending this time of year the best way they can.

I would like to inform everyone concerned that:

• there will be a server reset in early October;
• if you have suggestions, leave them in the comments.

Have a great summer, we look forward to seeing you in the fall!