Looks like @haeretiker hasn't received any replies!