Fix #156: Add list of collaborators to files editor menu