Some obscure issue where #boardNavDesktop is missing, investigating it.
It represents 15% of error reports.