You're right, he's not a problem and adds depth elsewhere, but there was a certain level of appeasement by a great number of people to label Isidor as an out and out 9 to suggest we'd addressed that position.
We failed as you mentioned to secure a 9, again, rightly or wrongly, whether Mayenda is doing a good job or not.
yes - the fact Mayenda has come good has been relatively lucky. That’s not to diminish the good scouting done on him in the first place, nor the good coaching from RLB and Co this season, but I don’t think anyone could have predicted he’d turn this good this quickly after not getting into Hibs’ team last season