We don’t actually need this section, but perhaps it’s a good idea to keep it anyway. On┬áthe other hand, if it’s there it needs fairly regular updating (not a huge problem, but a consideration all the same).