[dev-context] core-reg.tex possible patch needed