Final polish. Sorry for not separating the commits.
Updated PDF file.