English: Whether to pin the header menu on top.
Dutch: Of het menu van de header bovenaan moet worden vastgezet.