There is a webops meeting next week where I can raise this matter. I think this can easily be done.
As you have also mentioned, the new website will be able to index documents, automatically, which will be a very large improvement to the current website. This is certainly the case with journals but I need to check if that will also apply to all other PDFs as well.