Looks like @tinca hasn't received any replies!