SQL Developer export/import SSH hosts
No way that I have seen or found.  I also pinged Jeff Smith and Kris Rice (Product Owner and Developer for the platform) on Twitter and they confirmed as well.  (see https://twitter.com/thatjeffsmith/status/1125396802423992322)

On the plus side:  You have located the configuration file.  And, while not ideal, at least you can make your configurations somewhat portable.  :-)