Comment 7 for bug 1595731

Workaround for Ubuntu 16.04:

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