I doubt they bother wasting their resources on optimizing for the 0.001% of people who have JS disabled.