So when the engineers fix a problem it gets marked resolved. References to 'main' are like nightly/devel. Currently 5.0 is franklin & 4.5 is frank. It might then get verified by QA (quality assurance) at which point you'll see 'verified on build __'.
We run every release on our own mail servers ahead of time to make sure there's no major problems for you guys, the concept is called 'eating your own dogfood'. 5.0.2 isn't yet public
