(toggle-gud-tooltip-dereference): Rename from gud-toggle-tooltip-dereference.
Attach a file by drag & drop or click to upload