Rename ADB to AfDB

Also "Zheng Mason Sun" to "Mason Sun". By request.