Re #6371. Add a help button.