Re: [Lava-users] device-type aliases: please add lava-server manage command