Minidiscs were different, they’re a proprietary Sony tech that was huge in Japan but never really took off in the US. That divot is for plain old small CDs.