Unsure what these active red insects are on this Parmeliaceae lichen so have suggested Springtails due to their shape. The third image shows one of the small red insects in the centre of the image and a second one to the far left, disappearing into the lichen.