Researchers scour social media to measure developer concerns about AI coding tools