- 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.