The filenames are almost certainly automatically generated by their document management system.
However, I would be surprised if they could not configure the software to include some useful text in the filenames--however this data would have to come from somewhere. A human would have to assign it, or some script would have to try to extract a title from the document text.
There is good news though! You are allowed to rename the files after downloading them.
After downloading app notes etc, I highlight/copy the first bolded title I see in the document body, and rename the file to match that text.