This is unfortunate, because it makes it look like it is the way to go, when actually it doesn’t work anymore (I lost 2 hours the other day trying to make it work before finding out in the forums that it wasn’t working).
Does anyone now if it would be easy to remove it ?
I think the only way is for @ jeremy or @ sgugger to remove it.
Actually it’s generated from a github repo (there’s an edit button bottom right). You can submit a PR or I can, as you want If you do it, I’d suggest to replace Zeit with another tool.