Correct repo location for web-animations