Seriously, the FCC might still ban your operating system