Looks like @shigeru hasn't received any replies!