Deletion of Input processing instructions

Comment: Trivial and mundane terminology. No evidence of coverage in |reliable sources. Fails WP:N and GNG. Wikipedia is not a repository for indiscriminate information per 
Stance: delete
Cited policy: Wikipedia:Reliable sources (WP:RS||WP:IINFO)