It is. Feel free to write up a CS. If you have questions, ask them.

We'd really like someone to try playing with the Order of Idris around now, but don't take it as a demand. It isn't.