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!