Remove Digital Ocean since we no longer use that provider. This part of
the first merge requests to improve the documentation of this page to
try get it up to date.