Looks like @plusiam hasn't received any replies!