I have started using Core distro recently. But I am getting confused when I see that this board refers to a distro MicroCore while, in the Downloads
page, there are only three distros listed, viz. TinyCore, CorePlus & Core, but NOTHING as MicroCore. I assume that MicroCore has been renamed at some point of time as Core. Am I right?