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 = "integral-geometry"
version = "0.1.0"
authors = ["Andrey Korotaev <a.korotaev@hedgewars.org>"]
edition = "2018"
[dependencies]
fpnum = { path = "../fpnum" }