async+perf: appendix-B, finishing out 'CSP', cleaning up the rest of the content in the appendix'