FYI - the extension was only to Oct 15 (not Dec 15). And it was an extension just to file the return. Any tax due payment was still due by July 15, 2020 (normally April 15). So you might get a bill for interest if you pay after July 15.
