What do ISP's here typically donate to Debian each year? On the flip side, does the Debian project know the total donations it receives from ISP's each year? m