LEMDO: Switching refs to pointers in documentation
: Martin Holmes
Minutes: 140
Implemented this GitHub ticket, and switched all existing refs which consisted just of copies of titles to pointers. One oddity caused a build break, so I’ve switched it back; for some reason a <gi> element gets expanded to fill the whole of the title text instead of just the element where it first appears, so that needs to be figured out.