Eine kurze Zusammenfassung des Monats Oktober 2023. Themen im Oktober waren: Ein Versionsupdate und ein Domain- und Themewechsel.