Strengthened injectivity radius bounds for manifolds with positive scalar curvature | Synapse