Cleanup some incorrect code-block usage
Add a section of the PicoSAT script
Minor cleanup