improve error presentation
try to add the hover back
try again
more work on error annotation
disable probably obsolete stuff
those two are not obsolete
try this
cleanup
small change to message