Documentation update

[aguillon]

• Minor reformulations here and there
• Explaining the reasons behind minting/staking and permits (we still need to change the name "staking")