0d049e5f62
Merge commit '0b16e6a0347c519ccf56b3b956c086889856fec3' * commit '0b16e6a0347c519ccf56b3b956c086889856fec3': docs: small edits to catchup to edits made in html pushed live