Update: 17th of May

We're coming up on 17th of May, which is Norway's Constitution day and national holiday, ao we won't be posting here until over the weekend. But if you read this, then thanks for checking in! We'll do a quick recap of news either on Sunday or Monday.