some doc additions, also remove atexit