Documentation tweaks; some python3k fixes (about halfway there)