Text this: Requiring filing of settlements in patent interferences.