M src/english.md → src/english.md

@@ -23,12 +23,12 @@
 - `atalanta`: Google Pixel 10 running Android 17
 - `teiresia`: Raspberry Pi 3B+ running Raspbian headlessly, used for JTAG and other hardware debugging
 - `aphrodite`: 2025 Framework 12 running Fedora 44
-- `artemis`: Dell Precision 5570 running Rocky Linux 10, hosting a workhorse server and a media server
-- `athena`: Macbook Pro 2019 running Rocky Linux 10
-- `hestia`: Lenovo ThinkCentre M700 mini-tower adapted into a rack-mount format running Rocky Linux 10, hosting a proxy and this website
+- `artemis`: Dell Precision 5570 running Rocky Linux 10, hosting a workhorse server, a media server, and this website
+- `athena`: Macbook Pro 2019 running macOS Tahoe
+- `hestia`: Lenovo ThinkCentre M700 mini-tower adapted into a rack-mount format running Rocky Linux 10, hosting a proxy
 - `areia`: [Digilent Arty-S7](https://digilent.com/shop/arty-s7-spartan-7-fpga-development-board/) FPGA development board, with a Xilinx Spartan-7 FPGA chip and 256MiB of DDR3L RAM
 - `persephone`: LilyGO T-Display-S3 running a custom software stack
-- `tamamizu`: Panasonic Let's Note CF-SX3 running Dragonfly BSD and a custom EDK-II based firmware
+- `tamamizu`: Panasonic Let's Note CF-SX3 running Void Linux
 
 ### Tools
 
@@ -44,7 +44,7 @@
 ### Software
 
 - [Tailscale](https://tailscale.com/): VPN service used for secure access to all devices remotely
-- [Lighttpd](https://www.lighttpd.net/): Web server used on `hestia` to serve this site
+- [Lighttpd](https://www.lighttpd.net/): Web server used on `artemis` to serve this site
 - [Jellyfin](https://jellyfin.org/): Media server used on `artemis` for my music
 - [OpenOCD](https://openocd.org/): Debugging server used on `teiresia` to communicate with the device being worked on
 - Zsh: Shell program used on `aphrodite`, in combination with [Oh-My-Zsh](https://ohmyz.sh/)