Use @param luadoc for stdnse.pretty_printer, not @args