Comment by wiradikusuma

Every time I see "lightweight Linux", my first thought is, "Will it run better/faster/smaller on RPi compared to its default distro?"

There's no mention of Raspberry Pi in the website. I think if it's indeed more lightweight, they should mention it.