Google Docs Version History: How Teachers Use It Alongside AI…