Should I bother with deinit()?

Just clarification - I agree with probably best because it does not mean always

If allocation policy means allocator, It depends on library

It’s OK for zig std library or similar style where code is visible , but for library with own internal multithreading,
I’d like to force(ask) user to give “me” malloc compatable allocator
we already had long discussion