New comment by chilledfrogs on void-packages repository https://github.com/void-linux/void-packages/pull/34581#issuecomment-1173501877 Comment: @paper42 I more meant as a specific way of doing a one-time rename of the directory when updating it