I've noticed that we still have `v0.11.dev0` being shown in the documentation page at https://tvm.apache.org/docs/. @areusch @driazati do you know how to make that to be updated to `v0.12.dev0`, which would be where we are now?