How non-programmers use documentation