MPEC 2020-K92 : Comet P/2020 F1 = P/2002 E4 (Leonard)