Comment 2 for bug 1721238

Workaround:

Uninstall and reinstall tidy:

sudo apt autoremove tidy
sudo dpkg -i tidy-5.4.0-64bit.deb

And then exclude tidy from automatic upgrade:

sudo apt-mark hold tidy