Properties: option to export to PDF

I propose a short term alternative : Right clic / Open in default app (choose your favorite txt viewer app - i use notepad) / Then, in that app, Print using the native PDF printer. Not user friendly but it helps me waiting. It’s not a multiple files solution