A PSA: In case anyone else would find this useful, you can block a user's comments on the forum by clicking Settings at the top, then clicking Edit Ignore List.