Remove a link to the attrs pragma, which has now been removed.