File

util.datamanager: Always reset index after list shift Shifting the index does not work reliably yet, better to rebuild it from scratch. Since there is minimal parsing involved in that, it should be more efficient anyway.

-- Unknown platform stub
module:set_global();

-- TODO Do things that make sense if we don't know about the platform