First complete version, feedback from sam and mgorny

Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>

1 files changed, 39 insertions, 37 deletions

diff --git a/_posts/2023-02-05-new-year.md b/_posts/2023-02-05-new-year.md
index 33f57df..18874ed 100644
--- a/_posts/2023-02-05-new-year.md
+++ b/_posts/2023-02-05-new-year.md
@@ -3,16 +3,16 @@ title: '2022 in retrospect & late happy new year 2023!'
 ---
 
 <img align="right" height="140" style="margin-left: 30px;" src="https://www.gentoo.org/assets/img/news/2023/2023.png" alt="Gentoo Fireworks">
-A late Happy New Year 2023 to all of you! 
+A quite late Happy New Year 2023 to all of you! 
 
 Once again with 2022 an eventful year has passed, and Gentoo is still alive and kicking! 
 2023 already started some time ago and some of us have even already been 
 meeting up and networking at [FOSDEM 2023](https://www.fosdem.org/). Still, we are 
 happy to present once more a review of the Gentoo news of the past year 2022. 
-<a href="https://www.gentoo.org/news/2023/02/05/new-year.html">Read on 
+<a href="https://www.gentoo.org/news/2023/02/05/new-year.html">Read on</a> 
 for new developers, distribution wide initiatives and improvements, 
 up-to-date numbers on Gentoo development, tales from the infrastructure, and 
-all the fresh new packages you can emerge now.</a>
+all the fresh new packages you can emerge now.
 
 <!--more-->
 
@@ -27,7 +27,7 @@ year.
 **[GURU, our user-curated repository with a trusted user 
 model](https://wiki.gentoo.org/wiki/Project:GURU), is clearly growing further.**
 We have had *5761* commits in 2022, up by 12% from *5131* in 2021.
-Also the number of contributors to GURU has increased significantly, from 125 in 
+The number of contributors to GURU has increased similarly, from *125* in 
 2021 to *144* in 2022. Please join us there and help packaging the latest and 
 greatest software. It's the ideal preparation for the step to full Gentoo developer!
 
@@ -42,20 +42,20 @@ In 2022 we have gained **four new Gentoo developers**. They are in chronological
 
 1. **[Matthew Smith (matthew)](https://wiki.gentoo.org/wiki/User:Matthew)**:
    <img align="right" height="45" style="margin-left: 30px;" src="https://www.gravatar.com/avatar/5df093f70a89cc4b0a75fc9fa2f09282?s=45&d=retro">
-   Matthew joined us already [in February](https://archives.gentoo.org/gentoo-project/message/a9a6afeb59912fc10fba81236fe63d27)
-   from the North East of England. By trade embedded software developer, he helps with
+   Matthew [joined us](https://archives.gentoo.org/gentoo-project/message/a9a6afeb59912fc10fba81236fe63d27)
+   already in February from the North East of England. By trade embedded software developer, he helps with
    a diverse set of packages, from *mold* to *erlang* and from *nasm* to *tree-sitter*.
 
 2. **[WANG Xuerui (xen0n)](https://wiki.gentoo.org/wiki/User:Xen0n)**:
    <img align="right" height="45" style="margin-left: 30px;" src="https://www.gravatar.com/avatar/389c00ed2836b82b8511ecfbdc919d7d?s=45&d=retro">
-   A long-time Gentoo user, Xuerui joined us as a developer [in March](https://archives.gentoo.org/gentoo-dev/message/197003f97ecc5db5e1c31e8e3bb9e87f) from Shanghai, China.
+   A long-time Gentoo user, Xuerui [joined us](https://archives.gentoo.org/gentoo-dev/message/197003f97ecc5db5e1c31e8e3bb9e87f)  as a developer in March from Shanghai, China.
    He jumped in right into the deep end, bringing LoongArch support to Gentoo as well
    as lots of toolchain and qemu expertise (as long as his cat lets him).
 
 3. **[Kenton Groombridge (concord)](https://wiki.gentoo.org/wiki/User:Concord)**:
    <img align="right" height="45" style="margin-left: 30px;" src="https://www.gravatar.com/avatar/a89c24304a741760b9bacaf72d229b85?s=45&d=retro">
-   Kenton comes from the US and from a real Gentoo family (yes, such a thing exists!); he joined up
-   [in May](https://archives.gentoo.org/gentoo-project/message/c4525079ae7cccf0879fd0b271dac351).
+   Kenton comes from the US and from a real Gentoo family (yes, such a thing exists!); he 
+   [joined up](https://archives.gentoo.org/gentoo-project/message/c4525079ae7cccf0879fd0b271dac351) in May.
    His speciality is Gentoo Hardened and SELinux, and he has already collected quite some
    commits there!
 
@@ -94,9 +94,9 @@ Let's now look at the major improvements of 2022 in Gentoo.
   **[Clang / LLVM](https://llvm.org/) as primary system compiler**: 
   Closely related, support for using Clang as the primary system compiler in Gentoo has never 
   been better than now. For the most popular architectures, we have LLVM stages available which 
-  replace the Gnu toolchain as far as possible (also using libc++, compiler-rc, lld, ...) 
+  replace the GNU toolchain as far as possible (also using libc++, compiler-rc, lld, ...) 
   While glibc at the moment still requires GCC to build, the LLVM/musl stages come fully without
-  Gnu toolchain.
+  GNU toolchain.
 
 - <b>New binary package format *gpkg*</b>: 
   Gentoo's package manager Portage now supports a new binary package format defined in 
@@ -127,6 +127,9 @@ Let's now look at the major improvements of 2022 in Gentoo.
   First server-type chipsets based on these chips are currently being sold.
   (Outside mainland China hardware is difficult to obtain though.)
 
+- **AArch64**: An exotic variant of AArch64 (arm64) has been added to our download portfolio: 
+  Big-endian AArch64. Enjoy!
+
 - <img align="right" height="75" style="margin-left: 30px;" src="https://www.gentoo.org/assets/img/news/2023/logo-parisc.png">
   **PA-RISC**: 
   Weekly stage builds for the hppa architecture (PA-RISC) are back, including systemd images 
@@ -137,13 +140,10 @@ Let's now look at the major improvements of 2022 in Gentoo.
   variants and init systems. No matter what your hardware is, you should find a starting 
   point.
 
-- **AArch64**: An exotic variant of AArch64 (arm64) has been added to our download portfolio: 
-  Big-endian AArch64. Enjoy!
-
 - **Hardened**: With more and more hardening becoming de-facto standard, the compiler 
   settings in the hardened profiles have been tightened again
   to include additional experimental switches. In particular, in Gentoo Hardened, gcc
-  now defaults to *_FORTIFY_SOURCE=3* and enabled *stack-clash-protection*.
+  and clang both now default to *_FORTIFY_SOURCE=3* and enabled *stack-clash-protection*.
 
 ### Packages
 
@@ -154,7 +154,7 @@ Let's now look at the major improvements of 2022 in Gentoo.
   bootstrapped for big-endian ppc64, as well as for x86, riscv, and arm64 with musl as C library, enabling
   the usage of modern Java on those configurations. 
 
-- **Gnu Emacs**: 
+- **GNU Emacs**: 
   Emacs ebuild-mode has seen a flurry of activity on 2022. New features include
   a new ebuild-repo-mode, inserting of user's name and date stamp in package.mask and friends,
   support for pkgdev and pkgcheck commands, support for colors in ebuild command output,
@@ -162,40 +162,41 @@ Let's now look at the major improvements of 2022 in Gentoo.
   for on-the-fly linting and [company-ebuild](https://packages.gentoo.org/packages/app-emacs/company-ebuild) 
   for automatic completion.
 
+- <img align="right" height="75" style="margin-left: 30px;" src="https://www.gentoo.org/assets/img/news/2023/logo-coq.png">
+  **Mathematics**: The *sci-mathematics* category has grown with the addition of 
+  theorem provers such as *lean*, *yices2*, *cadabra*, or *picosat*.
+  Further, we have added new [Coq]() versions, Emacs support via company-coq, and packages
+  such as *coq-mathcomp*, *coq-serapi*, *flocq*, *gappalib-coq* ...
+
 - **Alternatives**: 
   Many base system utilities exist in different flavours that are more or less drop-in
   replacements. One example of this is the compressor *bzip2*, with *lbzip2* and *pbzip2* as
-  parallelizing alternatives; another *tar*, which exists both as *gtar* (Gnu tar) and as
+  parallelizing alternatives; another *tar*, which exists both as *gtar* (GNU tar) and as
   *bsdtar* in libarchive. With [alternatives](https://www.gentoo.org/support/news-items/2022-12-27-alternatives-introduction.html) 
   we now have a clean system in place to use either of these options as default program 
   via a symlinked binary.
 
-- <img align="right" height="75" style="margin-left: 30px;" src="https://www.gentoo.org/assets/img/news/2023/logo-coq.png">
-  **Mathematics**: The *sci-mathematics* category has grown with the addition of 
-  theorem provers such as *lean*, *yices2*, *cadabra*, or *picosat*.
-  Further, we have added new [Coq]() versions, Emacs support via company-coq, and packages
-  such as *coq-mathcomp*, *coq-serapi*, *flocq*, *gappalib-coq* ...
-
-- <img align="right" height="75" style="margin-left: 30px;" src="https://www.gentoo.org/assets/img/news/2023/logo-  racket.png">
+- <img align="right" height="75" style="margin-left: 30px;" src="https://www.gentoo.org/assets/img/news/2023/logo-racket.png">
   **Racket**: An [ongoing project](https://gentoo-racket.gitlab.io/About.html) aims to bring 
-  first-class support for [Racket](https://en.wikipedia.org/wiki/Racket_(programming_language)) 
-  (a modern dialect of Lisp and a descendant of Scheme) programming
-  and the Racket language ecosystem to Gentoo.
+  first-class support for [Racket](https://en.wikipedia.org/wiki/Racket_(programming_language)),
+  a modern dialect of Lisp and a descendant of Scheme, and the Racket language ecosystem to Gentoo.
      
-- <img align="right" height="75" style="margin-left: 30px;" src="https://www.gentoo.org/assets/img/news/2023/logo-python.png">
-  <b><a href="https://wiki.gentoo.org/wiki/Project:Python">Python</a>:</b>
+- <b><a href="https://wiki.gentoo.org/wiki/Project:Python">Python</a>:</b>
   In the meantime the default Python version in Gentoo has reached Python 3.10. Additionally we have
   also Python 3.11 available stable, which means we're fully up to date with upstream.
+  Gentoo testing provides the alpha releases of Phython 3.12, so we can easily prepare for
+  what comes next.
 
 ### Physical and Software Infrastructure
 
 - <img align="right" height="75" style="margin-left: 30px;" src="https://www.gentoo.org/assets/img/news/2023/logo-gitlab.png">
-  **New servers**: Our infrastructure team... **TODO: two new fat servers at OSUSOL**
+  **Servers and services**: Our infrastructure team has set up two beefy new servers as [Ganeti](https://ganeti.org/)
+  nodes hosted at [OSUOSL](https://osuosl.org/), with 2x Intel Xeon E5-2620v4, 128GByte RAM and 10TByte disk space each.
+  These will provide virtual machines for various services in the future.
   In addition, we are now running an experimental self-hosted [Gitlab](https://about.gitlab.com/) 
-  instance, [gitlab.gentoo.org](https://gitlab.gentoo.org/), 
-  which will slowly be used for more and more repositories and services.
+  instance, [gitlab.gentoo.org](https://gitlab.gentoo.org/), which will slowly take over more and more repositories.
 
-- **pkgcore**
+- **Pkgcore**:
   Building on existing coding efforts, an official [Gentoo PkgCore project](https://wiki.gentoo.org/wiki/Project:PkgCore) 
   was created to improve this set of [QA and commit tools](https://pkgcore.github.io/pkgcore/) 
   for Gentoo developers. Repoman was deprecated and removed from the Portage code base, and 
@@ -203,17 +204,18 @@ Let's now look at the major improvements of 2022 in Gentoo.
   repository. It is also the code running our automated continuous integration system.
 
 - <img align="right" height="75" style="margin-left: 30px;" src="https://www.gentoo.org/assets/img/news/2023/tattoo.jpg">
-  **tattoo arch testing system**: The new *tattoo* system now manages and automates large parts of 
+  **Tattoo**: The new *tattoo* arch testing system now manages and automates large parts of 
   the architecture testing process. This has simplified and streamlined the stabilization process,
   shortening developer response times and "saving" arch stabilization.
 
-- **Major devmanual improvements**: **TODO: what happened here?**
+- **Devmanual**: The [Gentoo Development Manual](https://devmanual.gentoo.org/) has seen major
+  improvements in 2022. More documentation is good!
 
 
 ## Thank you!
 
-Our end of year review cannot cover everything that happened in Gentoo in 2022 in detail, and 
-if you look closely you will find much more.
+Our end of year review of course cannot cover everything that happened in Gentoo in 2022 
+in detail, and if you look closely you will find much more.
 **We would like to thank all Gentoo developers and all who have submitted contributions
 for their relentless everyday Gentoo work.** As a volunteer project, Gentoo could not exist 
 without them.