Ah sorry - I only now noticed that the overview page mentions that anti-aliasing is allowed. :-)
Answering my own question: yes, it is allowed.
