Update wpstools docs #697