Update of printer service Eduprint

During the afternoon/evening today the 8th, Ricoh will be updating Papercut.

This can cause shorter interruptions in the printing service Eduprint.