derindc subscribers

These are the people who listen to derindc's updates.