I just did a search for gravity linux from the search at the bottom of the HN page. HN is a fickle place as it seems you get more traction by hijacking Asahi posts that when you make your own posts.