Reference

bibmradd(1) on Linux

The text 799c7d1a4472, as Debian 11 (Bullseye), Debian 10 (Buster) shipped it.

add MR numbers to papers in a given bib file

Flags it lists

bibmradd(1) on Linux now