Extension request

Thank you! The extension does seem to be working as I had hoped. As David said, we aren't planning to use this to secure anything; it's just for hiding irrelevant things from non-contributors.