Looks like @deflationist hasn't received any replies!