mpv 0.42 Media Player Released with DVD and Blu-ray Menus, Better HDR Support

mpv 0.42 adds DVD and Blu-ray menu navigation, Dolby Vision improvements, Wayland color management, and a new context menu.