This is a tremendous leap forward!

I spent hours a few months ago to "hard code" this to get rid of this awful WP menu bar BP integration (esp. for mobiles), which plugin(s) is/are supposed to help do deal properly with this for current BP version?

Many thanks in advance ;)