Seems like a lot of the discussions on the dev@ list should be on the user@ list. If it’s not related to builds or Jiras maybe it should go there. The user list is getting very little traffic, and some of these discussions would be of interest to users.