I was just working (and playing music!) and realized that “Movie player” package given on default Ubuntu installation isn’t of much use. Decided to uninstall it, next needed arping for some test and installed it (via default debian repository). Something…