Looks like @eucatastrophe hasn't received any replies!