November 20 2018: Web Editor Release v6.140.1