Many more small tweaks to docs, added doc for insert()