2022-09-06 UTC
# 
[tantek]4 looks like GitHub's web UI doesn't have an obvious way to rename non-text files, because their renaming UI depends on the pencil edit button, and they (obviously) don't provide a pencil edit button on non-text files