This is a temporary repo for my fixes in the official Pinboard Firefox extension. It is my wish and hope that my changes will be used in the official extension after which this repo will be deleted.