Document rawsetenv in stop section and sequence diagram