MRX API key

For clients that cannot log in with OAuth (Pyodide, CI, ...). It acts as your GitHub account. You have at most one; creating a new one replaces it.