Sorry – don’t know how to find it. I’ve found a whole pack of “options-” files in the public_html>wp>admin file. I was looking at “options-permalink.php” and noticing this:
include(‘admin-header.php’);
$home_path = get_home_path();
and wondering if the url should be in that path, but given what happened the last time I started fooling around with settings, I didn’t want to try it without asking.
If that’s not the right place, would you mind directing me to the “wp-options” table?