anyway, `dereferenced.org` is now fixed