Fix a merge conflict artifact and remove reference to code server page.
Could have removed the alias for $codeserver-booking-status-page too, but did not do it yet. Let's keep it as a reminder that this is something we should look at and get a good resolution on. See the comment on be831f6ed033d5c515e7b2d427ea3e43ec526207 for some details.
Fix a merge conflict artifact and remove reference to code server page.
Could have removed the alias for
$codeserver-booking-status-page
too, but did not do it yet. Let's keep it as a reminder that this is something we should look at and get a good resolution on. See the comment on be831f6ed033d5c515e7b2d427ea3e43ec526207 for some details.