Various notes and corrections.
Merge branch 'fsk-allocator-rfc' of github.com:pnkfelix/rfcs into fsk-allocator-rfc