str: Replace ss_alloc_substring() by ss_clone() and similarly with a pool.
[pspp] / doc / screengrab
2020-11-28 John DarringtonDocumentation: Add some screenshots to the user manual.