Всегда коробит, когда Яндекс как компанию называют поисковиком, тогда как сейчас это лишь один из нескольких десятков направлений его деятельности.

соскочили.. но не удивлюсь, если KR1875 принадлежит людям из яндекса

Вы придираетесь к словам, а это просто традиция называть компанию по ее самому популярному продукту. А еще это просто удобно, вы же не документацию читаете.