Expand compact rules section in upgrade guide