Not only that, afaik they pioneered/popularized a style of coding where the formatter is always correct, not the coder. This made coding on every language much more enjoyable and more efficient.
This is not something to write papers about, but a very significant thing anyway.
