#HarfBuzz 4.0 released but it needs to #deletegithub because it pollutes tons of packages with #microsoft #proprietarySoftware dependency http://techrights.org/wiki/index.php/Delete_Github