Succinct: parametrize everything by $n$ to make asymptotics make sense; simpler example of non-compact linear-space structure

Recent versions of TeXlive contain recent enough versions.

Now I understand what the original remark was intended to say :)