agda-devcontainer

pin xpra-html5 to a specific commit for correct Unicode clipboard handling

setup official xpra repository and configure xpra-html5 client

adapt smoke tests to Agda and add stdlib pre-compilation

install emacs-lucid fonts-noto-cjk xpra

add system package "emacs-gtk"