[Michlib-l] Library renaming