We should figure out a way to generate this list. Maintaining this manually is an invitation for mistakes.