Thanks for getting back to me. I checked, and the 404 Error Pages Discovery setting was enabled.
At the top of the page, however, I started to get a message:
You have a cache plugin installed ‘gator-cache/gator-cache.php’, you have to clear cache after any changes to get the changes reflected immediately!
Would that have anything to do with it?
Thanks.