(doc) Update docs for Alloy move.