What if a box were provided near the top of the document with the document's current name? To rename the file you simply type the new name in the box.
Users should never really have to worry about saving. Google Docs does a good job of keeping documents saved without any need for user intervention.