I. Introduction and Motivation
Software documentation is disseminated in many different forms, written by different individuals for different purposes [16]. While the emergence of social media has promoted the availability of software documentation for a wide variety of topics [13], there is often a mismatch between the needs of documentation users and the knowledge provided by documentation writers. Although documentation often follows a hierarchical structure with sections and subsections, this organization can only enable effective documentation use if section headers are adequate cues for the information needs of the users.