All three docsets work now, after a fashion