recode decommentJSONfile to handle tricky cases
As we now have /* */ comments in example files the simple decommentJSONfile() tool should be improved. According to its doxygen comment:
/// Removes //, # and /* */ comments from the input file and writes its content /// to another file. The comments are replaced with spaces, so the original /// token locations should remain unaffected. This is rather naive /// implementation, but it's probably sufficient for testing. It won't be able /// to pick any trickier cases, like # or // appearing in strings, nested C++ /// comments etc at the exception of // in URLs.
Note it is not required now and not trivial so I create it in Outstanding.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information