Nova Launcher официально на паузе: что делать пользователям и какие есть альтернативы