Raspbian 2018-11-13 is now the latest version of the Linux and Debian-based operating system for the tiny single-board computers called Raspberry Pi, introducing a new default media player, namely VLC Media Player, with fully hardware-accelerated support through VideoCore’s video engine for H.264, VC-1, and MPEG-2 formats. Besides the implementation of VLC as default media player, which is a huge step in the evolution of Raspberry Pi Foundation’s Rasbian operating system for Raspberry Pi devices, the Raspbian 2018-11-13 release also updates the user-friendly Thonny IDE to version 3.0.5, which brings numerous new debugging features like breakpoints.