Ipython: Adicione parâmetros de altura e largura a core.display.Video

Estou vendo alguns vídeos em um notebook. Os vídeos são maiores do que a largura do meu notebook, então não posso ver o quadro inteiro a menos que role para a esquerda e para a direita. Eu gostaria de especificar uma altura e largura para que eu possa ver o quadro inteiro de uma vez. Acho que seria muito legal se pudesse redimensionar automaticamente, mas ficaria feliz com a capacidade de definir a altura e a largura.

Posso postar algumas fotos se ajudar.

ipython --version
6.5.0
jupyter lab --version
0.34.12

Tenho feito este trabalho em torno de:

HTML(
    '<video controls width=500>'
    '<source src="video.mp4" type="video/mp4"/>'
    '</video>'
)

Parece um simples PR, eu poderia fazer isso se vocês gostarem.