> Looks good, please push!

Will do.

> (Small updates like this one can be pushed directly.)

I know.  But I feel that it's better to double-check than to revert it.
So I'll continue to notify the list if you don't mind.