GTS: Use more namespacy names; add "highlighted" class to selected header.