Vier miljoen voor gedecentraliseerd alternatief GitHub