Release 3.2

Added Infinite History commands for the first time. Solved the problems
with spaces … for good. Those two new features, which severely limited
our capability to do anything, are finally gone, which makes me
incredibly happy. Thus, we enter Version 3.2.