generate: p key pushes workout PDF to a Supernote
pdf export via typst subprocess
profile picker: list, open, create
initial workspace: schema + migrations