So true. Just imagine how big the arduino world might have become if it wasn't for that darn millis() roll-over problem.
millis() is a tool. It can be misused. So can micros(), delay() and any other damn thing.
Maybe if we could edit the documentation we could improve it a bit.
Maybe they need to control the documentation so that changes can appear in other languages simultaneously. That might be the reason.