GitHub #31: Put exported elements as children of the patch in object view