Can it be lawful to delete a licensed github repository which was contributed to and then distribute this code as industrial? I necessary to scroll down manually, and operate it a number of periods, so as to get all of the checkboxes checked. Probably it's far better to only exclude web-si