Text this: On the no-gap second-order optimality conditions for a non-smooth semilinear elliptic optimal control