Case 3742 — Galago demidoff Fischer, 1806 (currently Galagoides; Mammalia, Primates, Galagidae): proposed conservation of the specific name and designation of a neotype. Lemur minutus Cuvier, 1797: proposed designation of a neotype