michaelg/dev: links for rgxlog-interpreter