Gravity was an early idea that I never ended up using.
Adjusting gravity was very similar in audio effect to adjusting
spring rest length, so it wasn't worth the extra complication.

I basically forgot this fossil was in there!
Deleted it now for last-minute tidying before release.