We can modify Bootstrap at their website.
But then we have to manage the resource ourselves. We could put it in every page, but this is wasteful.
The easiest way is to host it somewhere for ourselves, separately and the easiest place to do that's at Neocities
In the end, the tiddlers we made are as follows
By packing them all into a plugin, we're able to import all the functionality we need into a wiki at once.
This is not very fine-grained or well thought out.
Here is the plugin.
Part 10, final thoughts, for now