Merge upstream GitLab Shell into Heptapod Shell
Brings in 17 non-merge commits.
On May 22, 2025, we will begin removing users who have never been confirmed or have never been active.
Contact the support if your user has been wrongly removed.
Brings in 17 non-merge commits.