@ DavidOSomething: Right, and I’d have to link to that file as a .php file, because the WP Core code is actually filtering on .css and .php; no other file extensions are permitted into the list of files you can select to edit. This isn’t terrible, and it’s another good option, thanks!