Color-coding notes — does it actually help, or is it pretty procrastination?

Yes, but only with discipline. Research shows colour cues reduce cognitive load and lift recall when colours map to stable categories (e.g., one colour per GS paper). It backfires when colour is decorative or when the test environment lacks the cues. Use 4 colours, never more.