I don't care what they call it...

...as long as they put it in October or November. After today, the creatively named Summer Bank Holiday, there are no more bank holidays until Xmas day.