Improving API documentation usability with knowledge pushing | Synapse