Hmmmm... I'm guessing this (and some other additions over the months) mean we ought to update the part of `INSTALL.md` that refers to us currently only using `Boost.Python`?