@heydon Ah, just noticed the stats are borked on the site, sorry. In fairness, though, it has been a few years now since we discontinued Better.