Looks like @kobayashi hasn't received any replies!