Conflicting statements about xnxti write side effects

[Timmmm]

In the text:

Following the usual convention for CSR instructions, if the CSR instruction does not include write side effects (e.g., csrr t0, mnxti), then no state update on any CSR occurs.

But in the code:

if (rs1[4:0] != 0 && rs1 != x0) {  // Side-effects should occur.

These conflict because "the usual convention for CSR instructions" is NOT rs1[4:0] != 0 && rs1 != x0, it's just rs1 != x0.

For example

li x1, 0
csrrw x2, xnxti, x1

is considered to have write side effects by the normal convention, but apparently not by the pseudocode above.