Also repeating last command by a simple return is still better than a `!! <RET>` #jdb

First published on twitter (?)