Add buttons that don’t do much, and make things look nicer.