I noticed that in the url when searching there is a parameter "?utf8=✓". I just thought the use of ✓ was a little odd, and was wondering why this choice was made.