push Implementation Notes down the doc