rosalind: Rename rosa to rosalind.