Surfaces of general type

There are several new developments: