use regular Attrib.config instead of low-level Config.declare/Attrib.register_config;
use regular Attrib.config instead of low-level Config.declare/Attrib.register_config;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle