Mention ASL used in a few files.
Cf. pull #14.
Merge branch 'master' into prefetch-JENKINS-15120