I don't really care about the name. If we decide to change it I just need to make corrections on koji side but it won't take much time anyway. Just tell me to what to change it to. No problem.