Updates to implementation notes following feedback from Grzegorz Rolek and Dave Keenan.