Looks like @stepha hasn't received any replies!