Docs: FIXME got fixed a while back; remote comment