Update instructions for Mint

For Mint this time.

@atnnn would you mind taking a look at that too?