Конечно это не относится к html а скорее к JavaScript. ScrollSpy это плагин для js-фреймворка MooTools отвечающий за разнообразные действия связанные со скорллом. За примером далеко ходить не надо, плагин TopOfPage для Joomla (о котором немного потом) использует именно этот плагин.