I was looking at the main branch, and described the situation there. They have a different branch for the optimization work; in that branch, they do mark those

I was looking at the main branch, and described the situation there. They have a different branch for the optimization work; in that branch, they do mark those functions as `unsafe` (and already did when I posted).