`batlab_user` is a duplicate of the rcparam in batlabbase.py