Add unlisted Boolean options. Thomas H., can you please check that I

got this right?

Bugfix candidate, unless Thomas notes a problem.