towards 4.9.4

[Berthold Stoeger]

On Donnerstag, 16. April 2020 18:39:15 CEST Dirk Hohndel via subsurface wrote:

> - Section 5.1 we see several screen shots and a discussion of the "this
> dive is being edited" warning. I believe (and Berthold, please confirm)
> that this is now a thing of the past. If there still are actions that
> trigger this warning, then I haven't come across of them in my use /
> testing of the latest master.

There is one case left: editing the profile of a manually added dive. From a 
UI and code-hygiene point of view, we should probably move the message to the 
profile.

> Thanks for all the amazing work that you do to make this user manual an
> extremely useful resource for our users.

I second that.

Berthold