It's nothing compared to the other tick disease: tick borne encephalitis. Thankfully there's a vaccine against that
https://en.wikipedia.org/wiki/Alpha-gal_allergy
They are talking about TBE (also known as "FSME" in german speaking countries) instead:
I am vaccinated against this form of tick born disease but of course I am not allergic to beef.
https://wwwnc.cdc.gov/travel/diseases/tickborne-encephalitis
The disease appears to be a problem mainly in Europe and Asia, but if you're planning a camping trip in those areas it looks like you can ask a doctor for the vaccine. You also can get the disease from unpasteurized dairy products.