Shark icon from http://www.customize.org/details/11049 -- as apparently,
creatorship is in dispute, it is difficult to give proper credit. : (
Most sources seem to lean towards pixeljerk as the original artist,
but you are encouraged to form your own opinion.
