https://bugzilla.redhat.com/show_bug.cgi?id=2122024
--- Comment #6 from Maxwell G gotmax@e.email --- (In reply to Mikel Olasagasti Uranga from comment #5)
It's a cache problem, can you retry? I need to check my webserver to avoid caching specs.
Ah. Ctrl+Shift+R works.