Developers: we really like our good documentation and use it all the time. Also developers: we don't have time to keep it up to date.