gnoMint is the name of the tool. I hope I will not forget that. gnoMint!

To remind myself, here is a list of the searches I tried without success:

  • ubuntu ca manager
  • ubuntu ca certificate sign manager
  • ubuntu ca certificate sign manager gui
  • ubuntu ca manager gui
  • gtk ca manager gui
  • gtk certificate authority manager gui
  • gtk ssl certificate manager gui
  • ubuntu ssl certificate manager gui
  • ubuntu certificate manager gui
  • ubuntu CA manager gui
  • CA manager gui