User blog comment:ZoKh/Proposal to rename/@comment-33974865-20180924165704/@comment-34509817-20181018233046

Has it been done now?