Propflags: fine-tune comments