Index.html: updated list of libraries used by SIM-editor