Re: [PATCH] spec: Don't allow users to list problems "by hand"