Maintenance every 3rd Tuesday of the month between 05:00 and 08:00 hours. Wiki: https://jupyter.wiki.utwente.nl/