(gud-tooltip-dereference): Rename from toggle-gud-tooltip-dereference.