Mirovo, nekoč poletno planinsko naselje