Raised at https://github.com/flutter/devtools/issues/3132. We need to handle different Page IDs based on Flutter versions.