The departmental servers are working fine after the updates.
The updated firefox that is now on coxeter is able to view PDF files within a tab. If you prefer you can still use a different viewer (for example, okular) for PDF files by choosing this at:
Edit -> Preferences -> Applications -> Portable Document Format (PDF)
