Issue #579: port forum highlight feature