Looks like @mrdoob hasn't received any replies!