Note that while github doesn't mark the above comment as outdated, it has been fixed since