Looks like @hauptfleisch hasn't received any replies!