Update docgen.lua