Да скорее всего джавиком реализовано. Если библиотека - то наверное можно найти в коде, но возможно самопис.
Прошу кстати обратить внимание (по крайней мере мне на ретина дисплее это отчетливо видно) на край, срез линии. Мое предположение:
- линия нарисованна "от и до"
- анимируется маска (достаточно clip path) при скроле - именно она тогда так обрубает, противоестественно для svg'шных линий
Судя по тому как заканчивается скролл - так оно и есть. Если это так - то самая простая реализация - прикрутить (fixed) маску с нужной высотой, к футеру, и применять ее только к этой линии.