documentation of `get_user_shell()`