- Patch #8617 by TDobes: changes all gifs to pngs for better consistency (and to get of proprietary formats). - Added forum-sticky.png. Made by Steven.