Looks like @docjorg hasn't received any replies!