}
        return currentChapterFileName;
    }

    // The media query indicating that a device is a desktop.
    // The `min-width: 64rem` definition should be aligned to
    // the one of `css/manual.css`.
    const desktopMediaQuery = window.matchMedia("screen and (min-width: 64rem)");