- [x] add seL4 release manual (PDF) - [x] add news item - [ ] merge simultaneously with https://github.com/seL4/docs/pull/303 - [ ] annouce the release on mailing list, discourse, mattermost
