Personally yes, I prefer @ref more. But you are right that it's not nice to be an annotation.

Reply via email to