I agree that fractional bus factors would be better if we could completely redefine the metric, yes - they do a much better job conveying the fact that doubling your bus factor does way more than halve your likelihood of actually getting stopped by losing a contributor. I was stuck reinterpreting existing definitions when I wrote that post, though, so /shrug