aidr-manager: Improvements to Download/Export page.