Extranodal right-optic nerve Rosai–Dorfman disease: A rare localization case report