would it make sense to make this page redirect to the page for the developer console? —Pee (talk) 15:11, 21 December 2022 (PST)