Looks like @ninomiya hasn't received any replies!