Activated cross-posting from the blog to Facebook. Let’s see how that goes. Unlrelated: first update there in 8 years.