Text this: Semiconcavity of the bilateral minimal time function