イントロ web アプリケーションで、ユーザーにファイルをダウンロードさせる機能を追加したいとする。 例えばダウンロードさせるファイルの名前をアプリ側で自動決定する場合、その名前にはどのような制限があるのだろうか。 何回か調べてる気がするので、ま…