Le 21/01/2017 à 05:28, J Albrecht a écrit :
>
>> On 20 Jan 2017, at 16:59, jdd <
[hidden email] <mailto:
[hidden email]>>
>> wrote:
>>
>> it's probably better to simply use google
>
> Why would this be “better”? If there is a valid reason, please let us know.
because it works, isn't that what you want?
for any public web site, google works better than internal search. This
is why, in the first place, google was so successful :-)
jdd