quasicomputational authored Jul 30, 2018 and Mikhail Glushenkov committed Jul 31, 2018

This doesn't get anywhere near the improvements suggested in #4831,
but it's a very respectable improvement over the status-quo for not
much effort.