Add REST API to get a list of currently open documents