I was supposed to use an IRS issued PIN, I expected to be asked for it during the filing process, but I was not