Restricted area
Admin page
This is the separate admin directory. If you want true GitHub-authenticated access, we should wire an OAuth or server-side check next.
For now, this page is isolated from the landing page and tool pages, and the admin
button only appears on the home page.