2020-05-28: Hotkey 1.0

2014-07-02: Size comparison: RandFill 1.1.0 vs. 1.2.x-devel