Looks like @endrik hasn't received any replies!