Extensions, scripts, and themes for FoldingText