For what purpose in a text editor? Hopefully not for user settings, some people like to version control those. For "recently opened", indexing, etc it seems ap

For what purpose in a text editor? Hopefully not for user settings, some people like to version control those. For "recently opened", indexing, etc it seems appropriate.