Good idea! We will take your advice. We will also be happy to see you having a PR.