63641a45-36fc-a8d2-69e4-e150cfbfa032(at)2ndquadrant(dot)com made me realize that we
highlight the currently active docs version with bold text, except for "current
(<version>)” which is left un-decorated. The attached patch sets the same
highlight on the current version, since it seems like an oversight to me.
cheers ./daniel