Combining libraries with the same name across servers

Early 2021 clean-up: duplicate