Dupont Circle

Jack’s Closed (For Renovations?) on 17th Street, NW

A reader wrote in saying that it closed rather abruptly. I walked by this weekend to snap a photo and saw some permits in the window. It said the proposed use will continue to be a restaurant. Does anyone know if it will remain Jack’s or become a new restaurant?