executables

[fgnievinski]

have to try https://pyinstaller.org/ it'd be a lot easier to install

docker surely is practical it's just it takes a few gigabytes

my impression is most users won't ever need source code