@bored-art-40741: will it muck things up if I merge in https://rbcommons.com/s/twitter/r/2719/ now, or should I hold off?