Ask HN: Google Docs Still Using Operational Transformation?

Based on articles from 2009, Google Docs uses the operational transformation algorithm to manage real-time collaborative edits. Does anyone know if Google Docs is still using this? If not, any insight into what they may be using today?