Piero Proietti requested to merge devel into master Mar 23, 2023

eggs-9.4.3

Manjaro: penguins-eggs was included in the Manjaro community repo;
Arch: penguins-eggs is currently in AUR repository;
Debian/Devuan/Ubuntu: penguins-eggs for that distros and derivaties is included on penguins-eggs-ppa;
bugfix: various bugfixes and typos.