More Web-based resources and social media for GNU Radio