Fixup docstring conventions for PicoSAT