board-headers now link to board itself; there was more fiddling with the internaals to do this.