So they renamed "worldcoin" to just "world" in order to make it impossible to search for?