Added a htmlspecialchars() when loading the contents of a file in order ...

...to

keep the html codes (i.e. &copy;) untouched after loading the file