Bump version to 0.1.2

- CI will temporarily ignore broken links, to mitigate the flood of broken anchors