Adjust the "external style sheet" explanation (see #6887)