Maybe we should discuss whether we generally want to enclose references to other sections in quotes. Is there some convention we used throughout the docs?