Fixes #4053: add advices for sizing Rudder server