I’m guessing I’m not the only one who has ran into the mistake of not naming your print properly before sending it to the printer. Not the biggest problem with just one print, but I have quite some prints in my history that I need to reprint at different times that are named incorrectly which makes it harder to remember which was the one with the correct settings later on. It would help a lot if it was possible to rename the files in the Printing History list.