Note: jump_bar.jpg REALLY WAS jump_bar.gif.  Fix all references
so this situation is no longer necessary.