flycheck-tip-avoid-show-func: Use defcustom
Add comments