- this would be an alternative to #397 and #411 - the strategy will be: search in the (dedicated) DB for given theory+op+PDF and return `"eko"` column - data can be generated with `external = "void"` - which will be available with #416
"eko"columnexternal = "void"- which will be available with Rustify QED #416