{
    "please-download-minilinux": "Important files from the mini Linux installation are missing."
}