Luke Lau authored Oct 19, 2019 and Marge Bot committed Oct 27, 2019

This was removed in b538476b, but
without it the compare-flags.py script fails. This adds it back and
marks it as deprecated, with a notice that it is slated for removal.