Nice! Digital Ocean was definitely not a great owner for the site, and it clearly wasn't treated as much of a priority under their ownership. Hopefully Geoff will give it the attention it deserves, especially given he's already the most active contributor there.