Looks like @michiko hasn't received any replies!