Z:gnu-www-ja-license-list--894108-Thus, while manuals published/en

Thus, while manuals published under this license do qualify as free documentation if neither license option was used, it is better to use the GNU Free Documentation License and avoid the risk of leading someone else astray.