Now, as reported by the American manufacturer, both solutions have entered the public domain. A new feature available in the software update 2020.12.6 automatically detects approaching traffic lights or a Stop sign, and then automatically slows the car.
The driver obviously gets a notification, and after its approval itself Tesla stops on the red line indicated on the screen. To move again, the driver must press the accelerator pedal.
A YouTube user decided to test the feature. The effect of his checking below: