yet more doc improvements, many embedded Python examples