It was originally funded with the bonuses that the employees received when eBay bought out PayPal.