Rebranding: Jon -> Odie

Having two names for the same service is really kind of a drag,
especially since work on https://github.com/arrrrr/odie has ceased.