> A dumb/long list is nice because I can use my browser's text > search on the titles listed in it; but the need for this would > largely go away if I could search in Wikipedia: and User:. That's coming soon.