Although happy Iīd get the stuff I need from the HOL team, the freedom the "old HOL" provided seems to be gone.
We shouldnīt punish ourselves only because some sites use HOL screenshots.
Zetr0 is right: It IS a wrong signal. At least thatīs how I feel.
Itīs only a small step...but a step in the wrong direction.
And donīt forget "Guess the screenshot"