move HTML escape to global as E
fix short filename hover