Looks like @jhendrych hasn't received any replies!