Von Hippel–Lindau disease manifesting disseminated leptomeningeal hemangioblastomatosis: surgery or medication?