9.0.0

Just getting it to work:

• [26c9c00] 9.0 LAUNCH (with a shorter commit message/description) (#145)
• [77e5e54] One last PR for 9.0 (hopefully) (#144)
• [222767b] ...another PR? (#143)

The real useful one:

• [336a4bb] Launch 9.0 (#141)
• [a13f87e] Release 8.4.0 (#120)