Looks like @artyq hasn't received any replies!