So what's the upside compared to devdocs.io? Seems restricted to macs for a negative...