infix: update docs for recent changes.