I think the OOP made them up, because there’s a Diotrephes mentioned in the bible and nowhere else, and there’s a Dionysius of Miletus, whose works are known. I think it’s just a placeholder name for memetic value.