Unfortunately, the list server seems to be really, really, slow right
now.  At any rate, would it be the correct way of proceeding to just
push the following commit to ELPA?  Just like that?