implement and document get_user()
implement and document insert_user()
implement and document delete_user()
get_user: change API to take a single scalar argument
implement and document patch_user()