I disagree with this change. The purpose of having the listing with `True` and `False` was so that we documented what could be formalized. As it was before, you'd just have to flip a `False` to a `True` or vice versa. With the proposed change you have to dig through `*.aux` fiels to discover what a particular label type is called. I know historically we went back and forth betwen including/excluding various label types. So I'd leave it as is.