Rotar un video con VLC

A veces recibo vídeos "girados" 90º. Si lo estamos viendo con VLC, la forma de enderezarlos está un poco escondida.

1. Menú Herramientas / Efectos y filtros
2. Pestaña Efectos de vídeo / pestaña Geometría / Transformar / Rotar 90 grados