HTML5でファイルを開かずにダウンロードする

HTML5は、download属性ってのがあって、PDFとかを開かずに直接ダウンロードできるみたい。 <a href="http://blog.fjwr.jp/pdf/example.pdf" …