Not merging the addition to `libs/libraries.htm` just yet, as there are some other changes to be merged first. [SVN r76844]