ruff

[red-knot] cleanup doc comments and attributes

#12792

Merged