You need to open Terminal app and type (this will open Web 40.2 instead of using, as accustomed, its icon directly):