Video library

    Add videos to the videos/ folder, then list them in library.json.