ヘルプをダウンロードした際のファイル名に、拡張子(.pdf)がつくようになりました。