Upload 3 files

from old repo

fix: add web/lib files to git tracking (were blocked by Python lib/ gitignore rule)