Version 0.5.0. Features added as per #14 - Leading zeroes options!
+ Added option on options page for leading zero handling when using the
keyboard shortcut to decrement and a digit is lost.
+ Popup checkbox for the option will load this same option by default for
consistency, but a changed popup checkbox value will not change the
global default, since the checkbox is meant to be a per-page option only.