It seems like "aot" (sic) is generally capitalized to "AOT". (There are a few spots introduced where it is mistakingly lowercased.)