@paulhibbitts Thanks for your responsiveness.
Slightly off topic … Where does the favicon get set in the Bootstrap4 (or Open Matter) theme? In a thread on “Where would you put favicon’s? themes or user/pages/images?”, there seems to be a consensus about putting it in /theme/images/… in a discussion of the Antimatter theme. I also notice that the new default Quark theme also has an images subdirectory, but that directory doesn’t exist in Bootstrap4.
I have Grav installed in a subdirectory (not root), and have put favicon.ico and favicon.png both in the root and subdirectory, but that’s not showing up in my Chrome browser tab.