Editor now shows file modification detailsRelease Date: Jul 2, 2025ImprovementsAdded file modification information to the editor, including the last modified time and the user who last updated the currently opened file.