Looks like @janos hasn't received any replies!