Ha, I'd actually forgotten about Command+D, so thanks for that. :)
Yep, Command+D works, but is obviously more tedious, and will occasionally highlight text I don't want (substrings in other words that are unrelated). It also doesn't respect scope, but I guess I can use it regardless.
Customer support service by UserEcho