Looks like @anthocerote hasn't received any replies!