How software engineers use documentation: the state of the practice | Synapse