Talk:Isabelle/@comment-24341225-20140521090104/@comment-3182180-20140523133547

That's because they use render model for selection icon instead of promotion art.