Some obscure issue where #boardNavDesktop is missing, investigating it.