Use the latest official Github names.