I'm all for removing this if it's OK to do so. @stefanv Do we need permission to remove this?