Text this: Cranial idiopathic hypertrophic pachymeningitis: A case report