I doubt that the <a download> attribute is properly hooked up for WK1. This bug tracks the small amount of work needed to ensure it works.
There isn't much benefit to pursuing this change. People should be using WK2.