Note to self: if you want to be able to upgrade WordPress via the web interface using SSH, you need to have the libssh2-php package installed on Debian/Ubuntu Linux.
Don’t forget to restart Apache after installing the package. Reload the WordPress admin pages and you’ll see the SSH option added.