4 ms·

No, it was always this way.

• ykonstant 2y ago
  Right, I just remembered the main way to create those filenames: open the pdf, select and copy the title, close, rename the file and paste from clipboard.