Merge branch 'paper-draft-examples' of gitlab.tiker.net:inducer/leap into paper-draft-examples