It's a team effort! Thanks to all of these people: https://pldb.io/pages/acknowledgements.html https://pldb.io/pages/acknowledgements.html > How are the rankin

It's a team effort! Thanks to all of these people: https://pldb.io/pages/acknowledgements.html https://pldb.io/pages/acknowledgements.html > How are the rankings arrived at? https://pldb.io/pages/the-rankings-algorithm.html https://pldb.io/pages/the-rankings-algorithm.html Txt version: https://pldb.io/pages/the-rankings-algorithm.txt https://pldb.io/pages/the-rankings-algorithm.txt