html editor: server files & permissions