Script Summary: Compute a numeric average customer rating and show it colorfully in the title.
I believe in other people's choice, save me so much time comparing products! The ultimate democracy in the market! Eyeballing the bar of stars is already hard, yet the bar itself is not precise in the first place, as can be noticed after you installed this script, that an average rating of 4.7 suffices for a product to get a perfect 5-star bar. Now you can tell the difference.
Run with the world!
Follow the crowd!
Hail, Obama!
// ==/UserScript==
// v0.20: added color coding for different rating;
// v0.21: removed color coding on the divider lest it confused people as a minus sign;
// v0.22: corrected 2 minor bugs
// v0.25: corrected a bug when handling with products with thousands of reviews



