@ConnyDuck I'm not qualified to implement this, but in theory (someone more qualified correct me if I'm wrong) it should be possible, and possibly quite trivial, to just fetch the file from Github, no script required to copy it to the website, and embed it there.