I don't see that as a problem. git supports renames. it might be slightly more work than changing around a TOC, but not more than it makes little difference. We can always change to a toc.json if it doesn't work out.