"It depends on what the meaning of the words 'is' is." –Bill Clinton
I thought I covered this at the end of Reply # 1 but maybe I wasn't clear enough. It depends on what the meaning of the word 'top' is.
The web page authors put the search box we are talking about at the 'top' right side of their page, but this may be displayed by a browser that puts a generic search box next to their address box. In that case the Arduino specific search box is no longer at the top, it is below the generic one.
Don