change package name

[Andy Tai]

Hi, I wonder if the receipt of an application has been in the guix package
repo for some time, is there a way to rename it (while automatically
updating existing installation to the new name)?
The reason for this question is that I contributed package receipt to guix
but now I think maybe the name used should be more specific.  Thanks

-- 
Andy Tai, atai@atai.org
Year 2021 民國110年
自動的精神力是信仰與覺悟
自動的行為力是勞動與技能