After all these years, Gmail for Android gets a feature it needed from day one
https://lemmy.world/post/10350159
TLDR: a select all button
fne8w2ah