@jcsalterego Oh wow merged but argh THAT is a fork of tildeclub/tilde.club so it's not headed upstream until I get my act together.