Here's what the internet would look like if all code by women vanished