This page redirects to its new URL: Is GitHub a derivative work of GPL'd software?