Looks like @cholerophobia hasn't received any replies!