As a result, I'm wondering if we should stop referring to https://wikipedia.org as "the portal"?