Checkpointing the ASDF3 2014 article, after new cl-launch developments.
Another checkpoint