A small JavaScript library for menu-driven page transitions to single-page applications