This pull request contains information about changes introduced by the recent pull request (#27).
Since the version 0.0.10 which does not contain the pull request #27 was released already, I have added version 0.0.11 with unknown release date. Since I am using the extension intensively, I might add a modification here and there. Maybe, the version 0.0.11 could be scheduled for early October 2020. What do you think?
This pull request contains information about changes introduced by the recent pull request (#27).
Since the version 0.0.10 which does not contain the pull request #27 was released already, I have added version 0.0.11 with unknown release date. Since I am using the extension intensively, I might add a modification here and there. Maybe, the version 0.0.11 could be scheduled for early October 2020. What do you think?