It’s not a typo. Linux’s desktop share is growing, according to the US government’s records.