Wiki: uploading pdf documents/manuals

I am adding text to wiki for the instruction sets and for some of them there are Technical Reference Manuals or more limited PDF documents describing them on the maker's site.

I tried to upload them to preserve the documentation in case the manufacturer removes the link or disappears, but the media upload fails. (the files are 5 MiB or less, well below the 25MiB limit)

Now, it might not be required in this case, but are pdf manuals uploadable at all in the wiki?

If no, would it make sense to let people upload pdf files too?

You can now upload media up to 25MB.
Although this limit was set correctly in php.ini, it was missing in nginx.conf.