The issues experienced with Primo, the library catalogue, have now been resolved, and it should be working as usual.