Looks like @hyperbolicist hasn't received any replies!