grep -l "Hidden API Tool" ./machines [1]
DevHub medium linux not yet retired