new docs; debugging splitbrain issue on python 3.3