Moving PySAT docos over