Examples as source, docs fixes, reformatting