static void openPlatformBrowser(S url) ctex {
  Desktop.getDesktop().browse(uri(url));
}