Document `dump.lua`