Eclipse Local History Revisited

In a previous post, I talked about Eclipse's local history and my need to recover a file that I deleted from the local history. I was wondering if there was a feature in Eclipse that let me do that, instead of doing it manually. As it turns out, there is a feature that allows me to do that. If one right-clicks on the package or project that it was deleted from and selects "Restore from Local History..." you have the option of recovering any deleted file with any saved local version. Next time, I'd better read the docs.