Это не к нам, это к КП, с которого данная информация и бралась. И мне, например, как дислексику, очень сложно заметить разницу между "Леандро" и "Леонардо".
Комикс, кстати, свеженький (2017-го). Если есть читавшие, поделитесь своим мнением, пожалуйста, а то вдруг там и правда