Sometimes these notes are up to date, sometimes not. That's what happens when maintaining this wiki is not your job.