For quick courses, the ROLE book is only an anchor so you can have a classroom on ROLE.

The GLS book provides a short introduction on course goals and audience, and keeps the "orientation to the classroom", them provides links to the actual course contents on github pages.

Currently, we have to include a single chapter, with a single lecture section, just to provide those links. It would look nicer to add a section to the introduction chapter and have no other chapters in the book.

For an example, please refer to HOL014.