The pandemic has both drawn attention to the gender digital divide – and helped close it.