[skybrian]

It used to be that websites would optimize their icons by putting them all in a single gif. But this isn't supposed to be necessary anymore.