Robustified \LINEINTERCEPT
Codices and versioning