Comment by reptation

Off-topic, but light gray font does not have good legibility.