Javascript (in `09_video_caption.js`) will add `.srt.sjson`, correct? Users should upload with the extension.