server: Drop HTML index page#8478

johanfylling wants to merge 4 commits intoopen-policy-agent:mainopen-policy-agent/opa:mainfrom

johanfylling:drop_index_pagejohanfylling/opa:drop_index_pageCopy head branch name to clipboard