My typical use scenario is to have a few tabs open with documents I'm reading for a longer period of time (days) and dozens of documents opened only for a short time and closed in the meantime. The long term documents are being pushed out of the Recent Files list by short term documents. I have to reboot my PC after upgrades or for other reasons and restoring the tabs with long term documents is cumbersome. I would like Reload (F5) to place the reloaded document at the top of Recent Files list, just like loading the file for the first time does.