I found this pretty good list of most expensive domains ever sold. Does anyone know of other good sources besides Namebio that consolidate domain sale history in a comprehensive way?