Sorry to have bothered everyone. I solved the problem. It turns out to
have been some kind of a weird typo in Alisson's e-mail. I copied the
matching text from the web page and it worked fine, once I made it look
like Alisson's e-mail again!
Thanks to everyone, especially Alisson!
I'm now working on making the domain name redirection part work, as
that's still funky, but that is less important, as URLs with either
domain name will work the right way now!