Downloads pages: don't rely on PHP anymore (closes #490).