PSA: anyone wondering what's up with my blog today … root filesystem ran out of space because I'm an eedjit and didn't notice a build-up of logfiles over the past 3-4 years.
Overdue housekeeping now in progress, blog should be back up in an hour or two. (I do not hold with system administration by "rm -rf", and it takes time to compress and archive/analyse/decide to definitely dispose of 190Gb of logs.)