Exposure is something. The fact the developer had the chops to do this is now on the public record. That could be very valuable for getting a job or a college scholarship (since they’re in HS).
Doesn’t mean it wouldn’t be an awesome project to do. I don’t blame them one bit. It’s an awesome achievement.
The GitHub developer I guess. Still his project got noticed because of all of this so it still sort of fits.