The replacement file worked.
Great.
PS: Between each replacement I out, CLEARED SITE CACHE; logged out; CLEARED BROWSER CACHE. I did the two files one at a time. “admin > privacy” first.
Never hurts, but not needed in this situation. These files are not cached in any way.