The technology behind the new Google Docs editor · HackerTrans