Ipython: Agregue parámetros de altura y ancho a core.display.Video

Estoy viendo algunos videos en un cuaderno. Los videos son más grandes que el ancho de mi cuaderno, por lo que no puedo ver el marco completo a menos que me desplace hacia la izquierda y hacia la derecha. Me gustaría especificar una altura y un ancho para poder ver el marco completo a la vez. Creo que sería genial si pudiera cambiar el tamaño automáticamente, pero estaría contento con la capacidad de establecer la altura y el ancho.

Puedo publicar algunas fotos si ayuda.

ipython --version
6.5.0
jupyter lab --version
0.34.12

He estado haciendo este trabajo en torno a:

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

Parece un simple PR, podría hacerlo si a todos les gusta esto.