I agree. Instead of sending demand letters directly to the open-source developers, wouldn't it be more efficient (and more compliant with the DMCA) to send the demand letter to Github? If the developers are truly at fault, they will have breached the Github terms of service and Github will have a cause of action against the developers.