GitLab

	(custom-variable-menu, custom-face-menu, custom-group-menu)
	(custom-buffer-create-internal): Change "Reset" to "Show".
	Reorder menu items.
	(custom-link): New face for Info links.
	(custom-buffer-create-internal, custom-manual): Use it.

	* wid-edit.el (widget-default-mouse-face-get): New function.
	(widget-specify-button): Handle mouse-face like button-face.

	* custom.el (load-theme): Clear old theme settings if reloading.