Google Docs: So, you can rename documents...

A while back I complained you couldn’t change title on documents in Google Docs. Well, you can. It just wasn’t obvious to me how you do it. Just click on the title while the document is open, and you can change it.