lang/gnatdroid-* deprecate?

I'd like to remove myself as maintainer of lang/gnatdroid-binutils and
lang/gnatdroid-sysroot

I know how to create a PR for this, but think these ports should
probably be deleted, as they are useless without the long deleted
lang/gnatdroid-armv7 port.

In addition, same applies to unmaintained lang/gnatdoid-binutils-x86
and lang/gnatdroid-sysroot-x86 since lang-gnatdroid-x86 was deleted.

Does anyone want to sort out these 4 ports, or suggest a course fo
action to raise in a PR?

Thanks, Jamie