interim git push for -4 SDP examples version. I plan to fix more nits
and push the final version by afternoon