labor day

It's Labor Day for those of us based in the US, so you may see rather slow posting today. For everyone in the US, enjoy the holiday and be safe if you're traveling. For the rest of the world, we'll be back in full force tomorrow, rest assured.