Fixes #8001: add IDs for example inputs