unmention bops

bops is no longer necessary, but it was still documented, so I removed those references.