Popular code-sharing site GitHub placed innumerable users at risk last week after it became apparent that its search functionality was publishing private files and encryption keys.

Web developers! You are a curious bunch. Your terminology baffles. But we need your help.