more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;

Merge

partial tidy-up of Sylow's theorem

proper option process_output_tail, more generous default;