Make "git notes add" more user-friendly when there are existing notes