What nobody tells developers about documentation