Document workarounds for pp_save_rules incorrectly setting LBLEV=0

[ESadek-MO]

See #4082.

pp_save_rules currently sets pp.lblev to the default of 0. Due to a lack of mln, changing the code would prove complicated, so we agreed to document workarounds instead within the documentation.