[TIDOC-1827] Add Alloy note