Update docs for new format of code_warntype