On May 13, 2013, at 12:06 AM, Clemens Lang wrote: > Since the website is generated on a Linux box, ${os.platform} is not > "darwin". So, it's a feature, not a bug then!? ;-)