Looks like @jick hasn't received any replies!