We should move `<amp-video>` to its own extension but keep the builtin tag and have it load the extension. `amp-video` depends on `video-manager` which is increasing in size and having these in core negatively effects the size of `v0.js` unnecessarily.