Update: I was just now able to e-file a 1040NR extension. It looks like the bug was fixed. Thanks, Lisa, for alerting staff!
