Looks like @nchiba hasn't received any replies!