Does Exactly What I need

This is a great plug-in. My use case:

WordPress URLs are generated from the post title. Sometime, a title needs to change after publication. But the old URL remains unchanged, which looks stupid.

This plug-in allows me to redirect the old URL to a new URL that matches the new title. Very simple and focused, used for months with no problems at all.