Hey,

would it be possible to have a page_is_redirect field in the wmf.mediawiki_history table? There is a page_is_redirect_latest field (as described in Analytics/Data Lake/Edits/Mediawiki history), but I guess it would be of great value to be able to learn whether a page was a redirect at the time when a particular revision was made.

Related to T171420#3699257

Thanks!