Gotta agree. I'm so tired of jungle I've tweaked it to be less frequent in my preferred map script. Tradition in jungle is particularly painful. As it is, I agree that jungle isn't worth keeping around, while I like to keep forests for the workshop. Jungle starts defy all conventional civ logic: I mostly don't want workers until god-knows-what-turn because I need so much tech to do things.