Today I Learned @lemmy.world ryujin470 @fedia.io 3w ago TIL there is an asteroid named after Linux. en.wikipedia.org List of minor planets: 9001–10000 - Wikipedia