Restore direct download link file extension

This reverts "875395fe2909530aba672d2a171a33353fbb8666" somewhat.