gen_docu: output 'None' for an empty flags list