Thank you @loginerror . The underlying explanations that make this so hard to polish are out of my knowledge.
Now that I caught your attention, and as this affects to the last, brand new version, would like to inform you that the “breakpoint highlighting mechanism”, that used to work randomly befor, still doesn’t work:
Excuse me again because of my arrogance, but again, even if I don’t understand the underlying mechanism that causes this, it doesn’t look like soooo very big deal for me to fix these annoyances.