Change how the PDF filename is formatted?
There's currently not a native way to change this format, but it is planned for a future release.

In the meantime as a workaround, you can listen to the onBeforeSaveOrder event and change the order number to whatever format you want.  A by-product of that is that the PDF receipt filename should change to your format as well.