How do I change a file extension?

Files by their extension can be files:
images (. jpg,. png,. gif, etc)
text (. tx,. dock. docx, etc)
Audio (. mp3,. amr,. wma, etc)
video (. avi,. wmv,. mp4, etc)