fd_login_redirect: why does it mess with non-FreshDesk redirects?

freshdesk-ext.php, fd_login_redirect()

Why does it contain the following code?

//For handling direct WordPress login.
	if( $user && is_object( $user ) && is_a( $user, 'WP_User' ) ) {
		if( $user->has_cap( 'administrator' ) ) {
			$url = admin_url();
		} else {
			$url = home_url();
		}
	}

FreshDesk does not need to be doing this.
It seems to only serve to break WordPress’ core “/login.php?redirect_to=http%3A%2F%2…” functionality.

However, I could easily be mistaken… ??

https://www.ads-software.com/plugins/freshdesk-support/