Editor stuff: manual edit, list.js, editor