Aug. 28, 2023, 11:13 a.m. -  Pete Roggeman

Micky, thanks for the comment and you're absolutely right. Sorry about the spoiler - that's something we've always avoided doing in the past and it slipped past the copy editing. This will be rectified in future.