• Deduplication

  At some point in time I started duplicating entries here and on my home page. I’ve fixed this. From now on, this page will only be used if something comes up that is specific to github.