(: Copy the value of xml:id attribute from other.html. This is a comment by the way! :)