Re: [Diffusion] [Committed] rHADDOCK4bb685bd0f57: Track changes in HsSyn for quasi-quotes