Per Derek, BOSCO -> Bosco, so this change is now in place throughout the
manual.