;doc: move github stars info to ACHIEVEMENTS

doc/ACHIEVEMENTS.md

@@ -30,3 +30,20 @@ Being a software maintainer means unending toil in mostly-obscurity, so you've g
 - **match beancount mail list**
 - **match ledger mail list**
 - **in top 10 github starred haskell projects**
+
+### Stars
+
+[Github stars history](https://star-history.com/#simonmichael/hledger&ledger/ledger&beancount/beancount&Date) (with Ledger and Beancount)
+
+[Top 100 Github-starred Haskell projects](https://github.com/EvanLi/Github-Ranking/blob/master/Top100/Haskell.md) rank
+([all projects](https://github.com/search?o=desc&q=language%3AHaskell&ref=searchresults&s=stars&type=repositories)):
+
+  |      |     |
+  |------|-----|
+  | 2025 | #19 |
+  | 2023 | #32 |
+  | 2022 | #34 |
+  | 2020 | #36 |
+  | 2018 | #53 |
+  | 2017 | #54 |
+  | 2016 | #71 |

doc/dev.md

@@ -62,19 +62,6 @@ main repo: <https://code.hledger.org>
 <https://unassignedprs.hledger.org>,
 [PULLREQUESTS](PULLREQUESTS.md)
 
-[star-history.com](https://star-history.com/#simonmichael/hledger&ledger/ledger&beancount/beancount&Date) PTA apps' github star history\
-[stars.hledger.org](https://stars.hledger.org) our rank among github-starred haskell projects:
-
-|      |     |
-|------|-----|
-| 2025 | #19 |
-| 2023 | #32 |
-| 2022 | #34 |
-| 2020 | #36 |
-| 2018 | #53 |
-| 2017 | #54 |
-| 2016 | #71 |
-
 site repo: <https://site.hledger.org>
 
 finance repo: <https://finance.hledger.org>