Is the Header menu option available in all WordPress themes?
Yes, it's a standard feature in all themes
Only if the current theme is configured to use this option
Only in premium themes
No, it's never available