[userprog] DESIGNDOC for wait
[userprog] finalize DESIGNDOC