Text this: Notes on Convergence Properties for a Smoothing-Regularization Approach to Mathematical Programs with Vanishing Constraints