Haven't seen but maybe there is the point to have something said about it. Edge case of course so ... don't know
Do I need to do anything else? (Create a "bug" report?)
Sorry, I am just wanting to check what is the better thing to do.
The most respected order is:
- Propose fix (for widget help page) , develop it and make pull request
- Clarify with @dceejay about the issue and you'll get advise to even rise issue in github or leave it as is ...
- Leave it as is cos the solution can be found also from here..
Okies.
Shall do.
