Looks like @papapig hasn't received any replies!