Text this: Regularity of the state constrained minimal time function