Krzysztof Gogolewski authored Oct 02, 2020 and Marge Bot committed Oct 03, 2020

- Fix formatting of code blocks and a few sphinx warnings
- Move the Void# change to 9.2, it was done right after the branch was cut
- Fix typo in linear types documentation
- Note that -Wincomplete-uni-patterns affects lazy patterns

[skip ci]