Merge commit 'd93990cd2d525932308738526341b832569d7ffd' into feature/paper

* commit 'd93990cd2d525932308738526341b832569d7ffd':
  Spell checker
  Removed margin comments
  Fix hbox and such
  Some more fixes
  Fix error about scala's Set complexity
  Fix vocabulary
  Improved paragraph about LUniv compression
  Fix error in sect 2
  Fix empty line in algo full LUniv
Replace "logic" and "name" by category in the text.
Make a few improvements in the paper
Explain columns