I grepped the whole codebase and didn't find it anywhere else.