nice.

would "unnumbered" not be better than "starred"?

Reply via email to