November 13 2018: Web Editor Release v6.139.2