Trying to rearrange a summer 2021 holiday and looking at October 2022. Is there a general rule of thumb for when October half term tends to be? Would it ever be the first week of November?