Merge "docs: fixing several minor documentation bugs" into pi-dev