Xcode plugin for numbered bookmarks - View it on GitHub