pagevideos: Prevent renaming video if file name prefix is already used
This prevents some issues and weirdnesses with losing the video thumbnail, etc.
[package]
name = "vec2d"
version = "0.1.0"
authors = ["Andrey Korotaev <a.korotaev@hedgewars.org>"]
edition = "2018"
[dependencies]
integral-geometry = { path = "../integral-geometry" }