Yes, as discussed in IRC.