You are correct, if the IRS had not extended the due date this year, you would've to file an extension.
@ttlc22019
