RIP. Sorry to hear.
For a series that prides itself on having no drivers killed since Ayrton Senna in '94, seems like F1 has quite a few track worker deaths. I remember one guy was killed at Japan (?) one year from a stray tire from Jacques Villeneuve's car one year.