CodeMan - VSCode

New: • Code Keyboard: a built-in keyboard made for coding. Esc, Tab, Ctrl, Cmd, arrow keys, copy, cut, paste, undo and redo sit in its top row, so you no longer need a separate toolbar. • Stays inside the CodeMan window: in Stage Manager and Split View it only spans CodeMan, and the editor resizes to sit above it. • New dark design to match the editor, with monospaced keys, an accent-coloured Return key, and a press animation. • Faster editing: delete and the arrow keys repeat when held. Tap Shift once for one capital, double-tap for caps lock, and use Shift with the arrows to select text. • Code Keyboard switch in Settings → Interface. Turn it off to go back to the system keyboard for dictation, emoji or other languages. Fixes: • Login proxies: fixed an endless sign-in loop for servers behind authentik, Authelia, oauth2-proxy, Cloudflare Access and similar. Their sign-in page links now stay inside the app instead of opening Safari. • Certificate errors: fixed a certificate error that flickered on and off when the server couldn’t be verified. • Retry button: Retry now works when the first connection fails. • Expired certificates: these now show a clear “Certificate Expired” message with steps to fix it.