Fix WebUI regexp for IR commands
Various, but small improvements