The Print window of the Compare Texts Tool contains a Save as HTML button.
In Paratext 7.6 this button works.
But using it in 8.0 seems to have no effect: after ‘saving’ the file, the file is not there at the specified location.
Any idea why this is not working?