dpeuscher

built it with an armv7 from a Raspberry Pi 4 (ARMv7 rev 3) and it also compiled successfully with the patch

Yes, when they update upon editing a source they show annotations on every node. These are not shown if before the editing nor if you reopen the aterm (via the...

I recorded it for you: http://www.youtube.com/watch?v=kTdYtrUMtA8