I went looking for where to update the options in the DocType dropdown, and found that the description for DocumentTypeOptions in Customization Manager is actually for the AddRequestReceivedViaOptions key! This is a very tiny thing that probably isn't causing any issues, but did really confuse me just now.