Someone on Reddit made an offhand comment about the composer Maurice Ravel having symptoms of OCD. Is there any evidence of this? How severe were his symptoms?