GNU/Linux and freedom: non-free software hidden in your GNU/Linux distribution