4 ms·Irs.gov is definitely up. Merriment will ensue if it goes down.by quantified 2y agoIrs.gov is definitely up. Merriment will ensue if it goes down.