Somehow these files went missing. Retrieved from 628490324d...
Clicking TeXDown logo in editor now redirects to home.