Clarified the Export explanation in light of Alleviate.
(Also, 'robot' -> 'machine' in the new/edit source form.)
'Annotated by robot' -> 'Unconfirmed', 'Annotated by human' -> 'Confirmed'.
Added the Alleviate setting to the source main page's display.
Anno-tool: Refine suggestions' confidence levels are now rounded down instead of to the nearest integer.
So now, it'll only say 50% if it's going to satisfy a 50% Alleviate threshold, i.e. if it's 50.x%.
Alleviate threshold checking now uses >= instead of >. So 50.000000% still satisfies a 50% threshold now, which is intuitive. It's nice to cover that, even if such an exact percentage won't occur often.
Refine probabilities of multiple points are now computed using multiplication + normalization (as they should be) rather than averaging.