I've now filed bugs in Mozilla's bugzilla with five different bug number lengths (in digits): bugzilla.mozilla.org/buglist…