I remember it being ten years ago, or more.
OK, so it DID happen. Then it’s really pointless right now to ask them to file it? It’s already been filed....