[tor-browser-en] bump 4.0.2