Merge branch 'intro-auto-name' into 'master'

Use user-supplied names in iIntros

Closes #336

See merge request !482
2 jobs for master in 22 minutes and 53 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #81390
fp
build-stdpp.dev-coq.8.11.2

00:13:22

passed #81392
fp
build-stdpp.dev-coq.dev

00:22:52