-# Hide various user interface elements. Here you can list the names of
-# interface elements to hide. Currently supported:
-# banner - the rEFInd title banner
-# shell - the EFI shell icon
-# tools - all EFI tools (shell and gptsync)
-# funcs - built-in functions (about, restart)
-# ('tools' and 'funcs' together hide the complete second row of icons.)
-# label - text label in the menu
-# badges - all volume badges (same as 'hidebadges all'); this setting
-# is not recommended because it won't let you distinguish
-# installed OSes and bootable CDs/DVDs.
-# all - all of the above, except for 'badges'
-#
-# Note: The 'shell' and 'tools' options are equivalent to the 'disable'
-# options with the same names.
-#
-#hideui tools funcs hdbadges
-#hideui all
-