session23 material on git
extract session codes from .rst files