Changed UK public holiday may appear on the wrong date

If you use a calendar service which provides dates of public holidays in the UK, you should check that the date given there is correct for the Early May public holiday this year, 2020.

Ordinarily, the Early May public holiday in the UK occurs on the first Monday in May, which this year would be Monday 4 May. However, to celebrate VE Day simultaneously, the UK government decided to move that holiday to the Friday of that week, 8 May 2020.

I have, by good fortune, two different calendar feeds for UK public holidays: that at is currently giving the incorrect day (4 May), whilst is correct with 8 May. Perhaps I should take both days off?