Use Bootstrap spinner once we have Bootstrap 4
The following discussion from !121 (merged) should be addressed:
-
@clemenci started a discussion: I wanted to use https://getbootstrap.com/docs/4.6/components/spinners/ but we are using Bootstrap 3.3.7 (see #68).