Small changes.
Merged.
Merged for real.
Fiddled with auction to improve performance, other minor changes.
Merged with minor changes.