Companion specs stopped being used when annotations started being looked up in *_LHAssumptions modules. Since no package seems to be depending on companion specs, and there is no use case in sight to prefer them to *_LHAssumptions, I'm removing them here.
Companion specs stopped being used when annotations started being looked up in
*_LHAssumptionsmodules. Since no package seems to be depending on companion specs, and there is no use case in sight to prefer them to*_LHAssumptions, I'm removing them here.