For convenience and context, I'm looking at the formula for standard error of the slope coefficient from here: https://www.statology.org/standard-error-of-regression-slope/
If X is not normally distributed but the residuals are, is the estimated slope coefficient's distribution characterized by the T-distribution?