Have a good day, folks. Enjoy the holiday tomorrow (and my birthday) if you’re in the US and choose to celebrate (or, indeed, if neither applies for political reasons or otherwise).