Project #maintainers: *please* make sure your #README build instructions and your #CI script agree with each other! Whenever you update one, you should be updating the other as well.

#programming