Is there a reason for `kapt3` to append `Override`...

# kapt

[Jorge Castillo]

Is there a reason for kapt3 to append Override annotation to interface stub DefaultImpl methods that correspond to extension functions defined into the scope of the super type (but for a different receiver type) on the source code ?