[tor-commits] [webwml/master] 4.0.2 is not recommended anymore