@Gargron and it looks like you released 4.0.0 (and 4.0.1)! Sounds like an incredibly productive 24 hours!