Just for safety, since the lists may be subsequently updated.
mentioned in merge request !47393 (merged)