无法使用的小程序，其名称是否会被释放出来？

由于小程序的名称不允许重名，在申请小程序时会遇到合适的名称已被其他小程序占用的情况。

如果已占用名称的小程序无法使用（譬如进入后报错，无法访问任何页面），

微信官方是否会有相应的清除或释放机制，被使用的名称可以重新释放，可再次被其他小程序使用。

谢谢。