Library catalogue downtime extended to 12 noon

Work is taking longer than expected - alternative access to many resources here. In the meantime, there is no access to the library catalogue.