Add a slightly gratuitous console command

Not useful yet, but will be later.