mavgen_wlua: Update the instructions