feat: make mobile dock progressive (Closes #1427)

frontend/index.html

@@ -2325,6 +2325,7 @@
 <script src="static/my-work.js"></script>
 <script src="static/progressive-live-snapshot.js"></script>
 <script src="static/progressive-my-work.js"></script>
+<script src="static/progressive-mobile-dock.js"></script>
 <script src="static/progressive-capture.js"></script>
 <script src="static/agenda-replan.js"></script>
 <script src="static/agenda-calendar.js"></script>