There are several good examples and tutorials on how to add an options menu to a plugin. (Many of these seem confusingly