Dev.

Add springs, although they work not quite as I expected.
Remove all other format specifiers -- this is already implemented by
shell.