OK, como respuesta parcial a mi propia pregunta, buscar a lo loco en foros sugiere que:
$ sudo apt-get install libmysqlclient-dev
permitirá luego instalar el gem mysql2 (sea lo que sea), ignorando la advertencia de no hacerlo como root.
Tras superar eso y pasar al siguiente paso, al escribir:
$ bundle exec rails db:drop
aparece otro error::::
bundler: failed to load command: rails (/usr/local/bin/rails)
Gem::Exception: can’t find executable rails for gem railties. railties is not currently included in the bundle, perhaps you meant to add it to your Gemfile?
Al revisar en /usr/local/bin/ veo que definitivamente hay un archivo llamado ‘rails’.
Escribir sudo gem, gem install rails o $ sudo gem install rails no ayuda (según varios consejos encontrados para este error).
Incluso volví atrás e instalé Ruby on Rails desde cero para asegurarme de que todas las dependencias normales estuvieran presentes How To Install Ruby on Rails with rbenv on Ubuntu 18.04 | DigitalOcean, pero sin ninguna mejora, ya sea con la versión 2.51 o 2.61.
Bueno, aquí ya me he quedado sin ideas…