Dart API Documentation for dart:html.AnchorElement.download