Re: Possible bug about the SPECIAL-USE / CREATE-SPECIAL-USE extensions