I usually keep a copy of the user manual locally on my devices (you never know...).
The file name, when saved, is "manual.pdf", which is a quite generic name which does not help to find it easily among other files in a directory, and easy to be mistaken with other files.
What about changing the file name to something more explicative, i.e. like "Skydemon_manual.pdf"?