@gargron I propose that December 16th will henceforth be known as "John Mastodon Day" a bit like Twitter's "Ed Balls Day" but actually funny.