Version 4.1.2

Add spot_mini_issue command to report a bug or propose enhancement.
Fix a potential issue with Library update.