michaelg/dev: links for tsemodule5