Added rating count to rating indicator in gallery lists
Added devs' nicknames to Extensions search Documents
Made devs' names on info pages link to searches for their extensions
Added redirect from /favicon.ico to favicon location
Added new search index updating function
Fixed index updating crashing on Extensions that are missing data