* doc/design_onstack_replacement.txt: More design options added.