2017: An excellent year for GNU/Linux!