https://cs.brown.edu/~sk/Publications/Papers/Published/sk-automata-macros/

unable to get local issuer certificate: accept? (y/n)