He meant "bochs"; I suspect an "autocorrect" miscorrection, my tablet does also include popular brand names as "helpful" suggestions. And when you don't see any

He meant "bochs"; I suspect an "autocorrect" miscorrection, my tablet does also include popular brand names as "helpful" suggestions. And when you don't see any red waves under the words before submitting, that miscorrection might go unnoticed when posting.