Rename a file by changing only its identifier

The command denote-rename-file-identifier prompts for a new identifier to apply to the given file. The current identifier is added as the initial minibuffer text. An empty input means to remove the identifier altogether.

An identifier that is already used in links cannot be modified, otherwise all links will break.