Fixed redirect HTML filenames for Libraries