dead/packages: links for devtool-core