I agree with your comments about Aloe officinalis (not officionalis), and I wouldn't be surprised to see Aloe vera var. chinensis among its synonyms someday, but I also agree that the spotted aloes should be moved to the generic Aloe listing for now.
