Playing of DivX;-) 3.11 movies shouldn't be a problem. BSPlayer still has a Tab "DivX;-) 3.11" in "Options"/"Preferences"/"Video".
What you are referring to is probably the setting "Use DivX4 decoder for MP43, DIV3, DIV4" on this Tab.
In fact, though it reads "Use DivX 4 ...", you could (and should) now also read it as (e.g.) "Use DivX5.1 ..." (so the label is perhaps confusing).
Did you already try to play these movies? If you did and it didn't work to the full, please mention this in the forum. (Also have a look in
Help to Help)