Fold text, a single JS script. Makes all <span>-wrapped chunks of text foldable.