Apparently this holiday is also known as Mawlid and celebrates the birth of Muhammad, so it does seem important, but it was just one of dozens of holidays in a long list of supposedly official holidays, so *shrugs* I just asked the driver to drive on.