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 = "fpnum"
version = "0.1.0"
authors = ["Andrey Korotaev <a.korotaev@hedgewars.org>"]
edition = "2018"

[dependencies]