developer: update instructions for Linux Mint