Renaming google docs files with "desktop" mode adds a ".desktop" in google drive

[facundoq]

As the title says, renaming local google docs files with the .desktop extension causes remote files to also get a .desktop extension in their names.
Relevant settings:

docs_file_extension=true
download_docs=true
*_format=desktop

Removing the .desktop manually works. File's contents don't seem to be affected at all in the drive in either case.

I think either:

• "docs_file_extension" should be set to false by default
  • Additionally when setting it to true add a warning about renaming files with .desktop extension locally
• Renaming .desktop files with docs_file_extension=true should only rename the filename and not the extension.