Should we be using the formal RFC process for this? (Submitting this RFC as a PR to the tvm-rfcs repo).