If the PV is hidden by exploration stuff, it should not be possible to inadvertedly...
[remoteglot] / www / favicon.ico
2014-11-21 Steinar H. GundersonAdd a favicon (it is the white knight from chessboard...