On 2013-03-23 23:07, Guillaume Brunerie wrote: > I think the name of some commands changed at some point and now > "refine" does something completely different. I can't recall any major renaming of commands. -- /NAD