Fix mint name
Remove note about debian repos not ready
Misc