static void openPlatformBrowser(S url) ctex {
  Desktop.getDesktop().browse(uri(url));
  print("Opening platform-specific browser on: " + url);
}