- rename options to settings
mentioned in commit f066b7b5
mentioned in commit d54a8ce8
mentioned in commit 0eeedb9d